add expected.out

leanprover · Nov 7, 2024 · 7cd6161 · 7cd6161
1 parent 15ac3a9
commit 7cd6161
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/tests/lean/000_simplc.lean.expected.out b/tests/lean/000_simplc.lean.expected.out