From 74aa0e2a6879e2bd062a881bc5fc474374d3c357 Mon Sep 17 00:00:00 2001
From: Chantal Keller <Chantal.Keller@inria.fr>
Date: Thu, 18 Jun 2015 14:59:56 +0200
Subject: Corrected a bug in the generation of certificates for CNF computation
 of iff

---
 src/trace/smtCnf.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
-- 
cgit