Commit 6cdd8c95 authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

fix typos

parent 91045d41
......@@ -180,6 +180,7 @@ class MCLAnalyser(object):
ASSERT: fsol is a frontier condition implying sq satisfiability
"""
# # for debug - too expansive to be activated anytime
# start = []
# for s in fsol.frontier_values:
......
Supports Markdown
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