From 044959853069d6b134548151500901450db7095c Mon Sep 17 00:00:00 2001
From: Ken McMillan <kenmcmil@microsoft.com>
Date: Fri, 13 Dec 2013 12:41:51 -0800
Subject: [PATCH] fussing more with qe in duality

---
 src/duality/duality_rpfp.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/duality/duality_rpfp.cpp b/src/duality/duality_rpfp.cpp
index ef62d38c1..a5e2b9167 100644
--- a/src/duality/duality_rpfp.cpp
+++ b/src/duality/duality_rpfp.cpp
@@ -143,7 +143,7 @@ namespace Duality {
       return 0;
     }
     if(t.is_quantifier())
-      return CountOperatorsRec(memo,t.body())+1;
+      return CountOperatorsRec(memo,t.body())+2; // count 2 for a quantifier
     return 0;
   }