From f044938d7443e5851f8ea7959bbe5d16d74858ad Mon Sep 17 00:00:00 2001
From: hi <hi>
Date: Sat, 2 Aug 2025 09:21:25 +0000
Subject: [PATCH] latex truth table: fix table spec length

---
 Main.hs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Main.hs b/Main.hs
index fc5a032..6007106 100644
--- a/Main.hs
+++ b/Main.hs
@@ -281,7 +281,8 @@ truthtable s = open <> header <> "\\hline\n" <> body <> close
 
     close = "\\end{tabular}\n\n"
 
-    serial = serialize Latex s
+    serial :: [Cell]
+    serial = serializeCells Latex s
 
     atomsList :: [String]
     atomsList = S.toAscList $ atoms s
@@ -290,7 +291,7 @@ truthtable s = open <> header <> "\\hline\n" <> body <> close
     header =
       intercalate " & " (map dollars atomsList) <>
       " & " <>
-      intercalate " & " (map dollars $ map fromCell $ serializeCells Latex s) <>
+      intercalate " & " (map dollars $ map fromCell serial) <>
       " \\\\\n"
 
     dollars :: String -> String