Commit 4dabd287 authored by Franz Thoma's avatar Franz Thoma
Browse files

Fix documentation

parent b0890b90
......@@ -59,7 +59,7 @@ logToProgress mbj l = let
-- This trick prevents a space leak!
--
-- The third argument is the full log, ending with either the solution or the
-- exhaustiveness and first conflict set.
-- exhaustiveness and final conflict set.
go :: Progress Message (Exhaustiveness, ConflictSet QPN, ConflictMap) b
-> Progress Message (Exhaustiveness, ConflictSet QPN, ConflictMap) b
-> Progress String (Exhaustiveness, ConflictSet QPN, ConflictMap) b
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment