diff --git a/tests/lean/run/eqn_compiler_ctor.lean b/tests/lean/eqn_compiler_ctor.lean
similarity index 100%
rename from tests/lean/run/eqn_compiler_ctor.lean
rename to tests/lean/eqn_compiler_ctor.lean
diff --git a/tests/lean/eqn_compiler_ctor.lean.expected.out b/tests/lean/eqn_compiler_ctor.lean.expected.out
new file mode 100644
index 0000000000..6505de416b
--- /dev/null
+++ b/tests/lean/eqn_compiler_ctor.lean.expected.out
@@ -0,0 +1 @@
+eqn_compiler_ctor.lean:10:4: error: equation compiler failed (use 'set_option trace.eqn_compiler.elim_match true' for additional details)