chore: link orphan file

2022-03-06 12:20:09 +01:00 · 2022-03-06 12:20:09 +01:00 · ff097e952f
commit ff097e952f
parent dddfb65660
2 changed files with 2 additions and 0 deletions
--- a/src/Init.lean
+++ b/src/Init.lean
@ -20,3 +20,4 @@ import Init.NotationExtra
 import Init.SimpLemmas
 import Init.Hints
 import Init.Conv
+import Init.SizeOfLemmas
--- a/src/Lean/Meta/Tactic/LinearArith/Nat.lean
+++ b/src/Lean/Meta/Tactic/LinearArith/Nat.lean
@ -5,3 +5,4 @@ Authors: Leonardo de Moura
 -/
 import Lean.Meta.Tactic.LinearArith.Nat.Basic
 import Lean.Meta.Tactic.LinearArith.Nat.Simp
+import Lean.Meta.Tactic.LinearArith.Nat.Solver