OCaml driver for peano.Peano: fixed a typo

parent 46bac1d0
......@@ -121,9 +121,9 @@ module mach.peano.Peano
syntax val ne "(<>)"
syntax val neg "(~-)"
syntax val abs "abs"
syntax val add "(+)"
syntax val sub "(-)"
syntax val mul "( * )"
syntax val add "(fun x y _ _ -> x+y)"
syntax val sub "(fun x y _ _ -> x-y)"
syntax val mul "(fun x y _ _ -> x*y)"
syntax val of_int "(fun n _ _ -> Why3__BigInt.to_int n)"
syntax val div "(/)"
syntax val mod "(mod)"
......
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