Make lake build work again

boogie-org · Jan 4, 2025 · b912a4b · b912a4b
1 parent 4492bd8
commit b912a4b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/LeanBoogie.lean b/LeanBoogie.lean
@@ -1,4 +1,4 @@
 -- This module serves as the root of the `LeanBoogie` library.
 -- Import modules here that should be built as part of the library.
 
-import LeanBoogie.BoogieDsl
+import LeanBoogie.Dsl