From 304d60350a90543b2b8c903bec501cdd305e98f6 Mon Sep 17 00:00:00 2001 From: Lukasz Czajka Date: Tue, 28 Mar 2023 10:28:31 +0200 Subject: [PATCH] fix compilation --- app/GlobalOptions.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/app/GlobalOptions.hs b/app/GlobalOptions.hs index 4c875351bd..56f40489ef 100644 --- 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