From eb965050f35519ad181dff3cb4a3cd41168d3f73 Mon Sep 17 00:00:00 2001
From: hi <hi>
Date: Mon, 18 Aug 2025 09:37:30 +0000
Subject: [PATCH] fix truth table variable order

---
 lib/Logic/Statement/Eval.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/Logic/Statement/Eval.hs b/lib/Logic/Statement/Eval.hs
index 6c96d29..3b4dac9 100644
--- a/lib/Logic/Statement/Eval.hs
+++ b/lib/Logic/Statement/Eval.hs
@@ -38,7 +38,7 @@ enumerate keys = map reverse $ aux start
         Nothing -> []
         Just (assignments') -> aux assignments'
 
-    start = map (, False) keys
+    start = map (, False) $ reverse keys
 
     next [] = Nothing
     next ((key, False):rest) = Just $ (key, True):rest