From b5548eaf46b4998c0d7b4f49b2cad4227243be30 Mon Sep 17 00:00:00 2001
From: Langston Barrett <langston.barrett@gmail.com>
Date: Mon, 3 Feb 2025 12:13:13 -0500
Subject: [PATCH] More commentary on normalization binary

---
 what4/test/BoolNormalization.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/what4/test/BoolNormalization.hs b/what4/test/BoolNormalization.hs
index bc8294c0..1173b399 100644
--- 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)