diff --git a/src/Semantic/Util.hs b/src/Semantic/Util.hs
index fd2a4aaed..b4a01bad1 100644
--- a/src/Semantic/Util.hs
+++ b/src/Semantic/Util.hs
@@ -51,7 +51,7 @@ justEvaluating
 checking
   = runM @_ @IO
   . runTraceByPrinting
-  . runState (lowerBound @(Heap Monovariant Type))
+  . runHeap
   . runFresh
   . caching
   . providingLiveSet