diff options
Diffstat (limited to 'src/trace/smtCnf.ml')
-rw-r--r-- | src/trace/smtCnf.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/trace/smtCnf.ml b/src/trace/smtCnf.ml index d159db0..f2a06c8 100644 --- a/src/trace/smtCnf.ml +++ b/src/trace/smtCnf.ml @@ -129,7 +129,7 @@ module MakeCnf (Form:FORM) = let na, nb = Form.neg a, Form.neg b in link_Other (BuildDef nl) [nl;a;nb]; link_Other (BuildDef pl) [pl;na;nb]; - link_Other (BuildDef2 nl) [pl;na;b]; + link_Other (BuildDef2 nl) [nl;na;b]; link_Other (BuildDef2 pl) [pl;a;b]; set_done l; cnf a; |