diff --git a/LeanBoogie.lean b/LeanBoogie.lean
index f6d0a58..5db31bf 100644
--- 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