use the synonym

LeventErkok · Nov 6, 2024 · b4dc7f6 · b4dc7f6
1 parent 58ccc2b
commit b4dc7f6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Documentation/SBV/Examples/Puzzles/DieHard.hs b/Documentation/SBV/Examples/Puzzles/DieHard.hs
@@ -109,6 +109,6 @@ dieHard = display =<< bmcCover Nothing True (pure ()) initial trans goal
                                                    in st{big = st.big + xfer, small = st.small - xfer}
                           ]
 
-        display :: Either String (Int, [State Integer Action]) -> IO ()
+        display :: Either String (Int, [CState]) -> IO ()
         display (Left e)        = error e
         display (Right (_, as)) = mapM_ print as