1 files changed, 0 insertions, 9 deletions
diff --git a/extraction/main.ml b/extraction/main.ml
deleted file mode 100644
index 870a0bc..0000000
--- a/extraction/main.ml
+++ /dev/null
@@ -1,9 +0,0 @@
-open Verilog
-open Datatypes
-
-let rec nat_to_int = function
-  | O -> 0
-  | S n -> 1 + nat_to_int n
-
-let () =
-  print_endline ("Result: ")