Commit 6f082459 authored by Francois Bobot's avatar Francois Bobot
Browse files

alt_ergo accept predicate and function definition

parent dec58545
......@@ -18,7 +18,6 @@ transformation "inline_trivial"
*)
transformation "eliminate_builtin"
transformation "eliminate_definition"
transformation "eliminate_inductive"
transformation "eliminate_algebraic"
transformation "eliminate_if"
......
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