Commit e0e1f59c authored by MARCHE Claude's avatar MARCHE Claude

fix ocaml driver for UInt64

parent 4ab7caac
......@@ -214,7 +214,7 @@ end
module mach.int.UInt64
(* no OCaml library for unsigned 64-bit integers => we use BigInt *)
syntax val of_int "%1"
syntax val of_int "(fun x -> x)"
syntax converter of_int "(Why3__BigInt.of_string \"%1\")"
syntax function to_int "%1"
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment