summaryrefslogtreecommitdiff
path: root/frontends
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-03-13 13:12:49 +0100
committerClifford Wolf <clifford@clifford.at>2014-03-13 13:12:49 +0100
commit34e54cda5b45fb96cd44597622c3cba00e410265 (patch)
tree6b0383da4a43706e3af18682dc2c1b71a09f7281 /frontends
parent7a1ac1120351d5cf0de2c9173fb7353795b0137e (diff)
Small improvement in SAT log messages
Diffstat (limited to 'frontends')
0 files changed, 0 insertions, 0 deletions