fix compilation

anoma · Mar 28, 2023 · 304d603 · 304d603
1 parent 8f6694f
commit 304d603
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/app/GlobalOptions.hs b/app/GlobalOptions.hs
@@ -7,7 +7,7 @@ import CommonOptions
 import Juvix.Compiler.Abstract.Pretty.Options qualified as Abstract
 import Juvix.Compiler.Core.Options qualified as Core
 import Juvix.Compiler.Internal.Pretty.Options qualified as Internal
-import Juvix.Compiler.Pipeline (EntryPoint (..), defaultEntryPoint)
+import Juvix.Compiler.Pipeline (EntryPoint (..), defaultEntryPoint, defaultUnrollLimit)
 import Juvix.Data.Error.GenericError qualified as E
 import Juvix.Extra.Paths