diff options
Diffstat (limited to 'extraction/main.ml')
-rw-r--r-- | extraction/main.ml | 9 |
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: ") |