From a128373dce8b05253cc5cf770208626f3fa0a521 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Sun, 7 Jun 2015 21:00:19 +0000
Subject: [PATCH] enabled VPI functions in ExtraDut

---
 lib/src/dutch/ExtraDut.gf | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/lib/src/dutch/ExtraDut.gf b/lib/src/dutch/ExtraDut.gf
index 5eb90ded1..6825ba13c 100644
--- a/lib/src/dutch/ExtraDut.gf
+++ b/lib/src/dutch/ExtraDut.gf
@@ -12,11 +12,11 @@ concrete ExtraDut of ExtraDutAbs = CatDut **
     ConsVPI = consrTable Bool comma ;
 
     MkVPI vp = {s = \\b => useInfVP b vp} ;
---    ConjVPI = conjunctDistrTable Bool ;
---
---    ComplVPIVV v vpi = 
---        insertInf (vpi.s ! v.isAux) (
---            predVGen v.isAux v) ; ----
+    ConjVPI = conjunctDistrTable Bool ;
+
+    ComplVPIVV v vpi = 
+        insertInf (vpi.s ! v.isAux) (
+           predVGen v.isAux v) ; ----
 --{-
 --      insertExtrapos vpi.p3 (
 --        insertInf vpi.p2 (