fix geb tests

anoma · Dec 18, 2023 · 916a986 · 916a986
1 parent 06c7f57
commit 916a986
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/BackendGeb/Compilation/Base.hs b/test/BackendGeb/Compilation/Base.hs
@@ -14,5 +14,5 @@ gebCompilationAssertion ::
 gebCompilationAssertion root mainFile expectedFile step = do
   step "Translate to JuvixCore"
   entryPoint <- set entryPointTarget TargetGeb <$> testDefaultEntryPointIO root mainFile
-  m <- (^. pipelineResult . Core.coreResultModule) . snd <$> testRunIO entryPoint upToCore
+  m <- (^. pipelineResult . Core.coreResultModule) . snd <$> testRunIO entryPoint upToStoredCore
   coreToGebTranslationAssertion' (Core.computeCombinedInfoTable m) entryPoint expectedFile step