Implement more builtins in constant propagation

1 files changed, 0 insertions, 7 deletions

diff --git a/src/pattern_completeness.ml b/src/pattern_completeness.ml
index 123592a3..ebb402e5 100644
--- a/src/pattern_completeness.ml
+++ b/src/pattern_completeness.ml
@@ -58,13 +58,6 @@ type ctx =
     variants : IdSet.t Bindings.t
   }
 
-let hex_to_bin hex =
-  Util.string_to_list hex
-  |> List.map Sail_lib.hex_char
-  |> List.concat
-  |> List.map Sail_lib.char_of_bit
-  |> (fun bits -> String.init (List.length bits) (List.nth bits))
-
 type gpat =
   | GP_lit of lit
   | GP_wild