test: expected.out

leanprover · Feb 23, 2024 · 631d9db · 631d9db
1 parent 98ebaa8
commit 631d9db
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/tests/lean/isDefEqDelayedMVarsBug.lean.expected.out b/tests/lean/isDefEqDelayedMVarsBug.lean.expected.out