use -fsimpleopt-before-flatten in sanity checks

[coq-hetmet.git] / examples / Unify.dump-coqpass

diff --git a/examples/Unify.dump-coqpass b/examples/Unify.dump-coqpass
deleted file mode 100644 (file)
index e69de29..0000000