Commit 064fbf43 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

Avoir bench failure due to new bug bts 18953

parent 980d71b6
......@@ -11,6 +11,7 @@ theory T
goal g3 : (>) x 42
goal g4 : (<=) x 42
goal g5 : (>=) x 42
(* does not parse
goal g6 : (<>) x 42
*)
end
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