Commit 799d6369 authored by MARCHE Claude's avatar MARCHE Claude

fix stupid mistake

parent 75d5210e
...@@ -389,9 +389,9 @@ module Int63 ...@@ -389,9 +389,9 @@ module Int63
let constant zero = (0:int63) let constant zero = (0:int63)
let constant one = (1:int63) let constant one = (1:int63)
val constant max_int:int63 val constant max_int:int63
ensures { int63'int result = max_int63) ensures { int63'int result = max_int63 }
val constant min_int:int63 val constant min_int:int63
ensures { int63'int result = min_int63 ensures { int63'int result = min_int63 }
(* use bv.BV63 as BV63 (* use bv.BV63 as BV63
......
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