Commit 603dbd6

committed

add test fixed by tactic reordering

1 parent 817ae29 commit 603dbd6Copy full SHA for 603dbd6

2 files changed

+3911

-0

lines changed

test/lean
- map_tactics.expected.lean
- map_tactics.sail

2 files changed

+3911

-0

lines changed

Comments

(0)