fix(tactic/default): make field_simp work with import tactic (#5832)

leanprover-community · Jan 21, 2021 · fac0f25 · fac0f25
1 parent b52b304
commit fac0f25
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/tactic/default.lean b/src/tactic/default.lean
@@ -35,3 +35,4 @@ import tactic.cancel_denoms
 import tactic.zify
 import tactic.transport
 import tactic.unfold_cases
+import tactic.field_simp