Commit a9e8658b authored by MARCHE Claude's avatar MARCHE Claude

fix issue #101

parent 2ef37495
......@@ -26,8 +26,6 @@ transformation "eliminate_negative_constants"
transformation "eliminate_epsilon"
transformation "eliminate_if"
transformation "eliminate_let"
transformation "eliminate_literal"
transformation "eliminate_negative_constants"
transformation "simplify_formula"
......
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