Commit ae15ac9e authored by Guillaume Melquiond's avatar Guillaume Melquiond

Remove some axiom noise ("0=0" and "1=1") in the Gappa driver.

parent 4d7dd217
......@@ -160,6 +160,9 @@ theory real.FromInt
syntax function from_int "%1"
remove prop Zero
remove prop One
theory floating_point.Single
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