Skip to content

Commit 811ac2a

Browse files
alexkeizeralexkeizer
committed
import AC.Sharing in the AC module
1 parent 14681f3 commit 811ac2a

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

‎src/Lean/Meta/Tactic/AC.lean

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,3 +5,4 @@ Authors: Dany Fabian
55
-/
66
prelude
77
import Lean.Meta.Tactic.AC.Main
8+
import Lean.Meta.Tactic.AC.Sharing

0 commit comments

Comments
 (0)