diff options
Diffstat (limited to 'extraction')
-rw-r--r-- | extraction/main.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extraction/main.ml b/extraction/main.ml index 235a155..870a0bc 100644 --- a/extraction/main.ml +++ b/extraction/main.ml @@ -6,4 +6,4 @@ let rec nat_to_int = function | S n -> 1 + nat_to_int n let () = - print_endline ("Result: " ^ (Verilog.value_to_nat (Verilog.VBool Coq_true) |> nat_to_int)) + print_endline ("Result: ") |