More commentary on normalization binary

GaloisInc · Feb 3, 2025 · b5548ea · b5548ea
1 parent 8942e1a
commit b5548ea
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/what4/test/BoolNormalization.hs b/what4/test/BoolNormalization.hs
@@ -22,6 +22,7 @@ import What4.Interface
 
 import Bool
 
+-- | Get the size of an expression. Lower is better.
 sz :: Expr t tp -> Int
 sz =
   \case
@@ -44,7 +45,7 @@ main = do
         case HG.nodeValue x of
           Nothing -> error "whoops"
           Just (bExpr, _vars) -> do
-            e <- interp sym (pure . uninterpVar) bExpr
+            e <- toSymExpr sym (pure . uninterpVar) bExpr
             -- Audit the quality of the generated expressions:
             -- putStrLn "--------------------------------------"
             -- putStrLn (show bExpr)