force evaluation of minimize

src/main/Main.hs

@@ -611,8 +611,8 @@ main = do
         part <- withTimeStat stats "refine-duration" 
           (stToIO $ refine (Proxy :: Proxy (Desorted SomeFunctor)) encoding (minimizeEnableOpt r))
 
-        (encoding', symbolTable') <- withTimeStat stats "minimize-duration"
-          (return $ minimize f encoding symbolTable part)
+        (encoding', symbolTable') <- withTimeStat stats "minimize-duration" $
+          evaluate (minimize f encoding symbolTable part)
         
         withTimeStat stats "output-duration" $ do
           T.putStrLn $ printParseableFunctor f