Update FriezePatterns.lean

Antoine-dSG · Jul 23, 2024 · c375d3b · c375d3b
1 parent 9699a1f
commit c375d3b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/FriezePatterns.lean b/FriezePatterns.lean
@@ -1,3 +1,4 @@
 -- This module serves as the root of the `FriezePatterns` library.
 -- Import modules here that should be built as part of the library.
--- import «FriezePatterns».Basic
+import «FriezePatterns».chapter1
+import «FriezePatterns».chapter2