Commit 26cd835e authored by Francois Bobot's avatar Francois Bobot

sorry

parent 5b3d90c3
......@@ -11,7 +11,7 @@ unknown "^\\(unknown\\|sat\\|Fail\\)" "Unknown"
(* À discuter *)
transformation "simplify_recursive_definition"
(*transformation "inline_trivial"*)
transformation "inline_trivial"
transformation "eliminate_builtin"
transformation "eliminate_definition"
......
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