WTF

phadej · Jul 23, 2024 · 7e45adf · 7e45adf
1 parent d3fd30b
commit 7e45adf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/sat-simple-pure/DPLL.hs b/sat-simple-pure/DPLL.hs
@@ -455,7 +455,7 @@ unitPropagate !l !clauseDb !trail !units !pa !vars = do
                     go us watches (i + 1) j size
 
                 | otherwise
-                -> error ("watch" ++ show (l1, l2, l'))
+                -> error ("watch" ++ show (l, l1, l2, l'))
 
 backtrack :: ClauseDB s -> Trail -> PartialAssignment s -> VarSet -> ST s Bool
 backtrack !_clauseDb End               !_pa !_vars = return False