From 03b627f1c17f8039c6b488e74e80e765815bb8e5 Mon Sep 17 00:00:00 2001
From: stefanheule <unknown>
Date: Sat, 25 Feb 2012 03:16:33 -0800
Subject: Chalice: reset currentConditions in fpi.reset

---
 Chalice/src/main/scala/Translator.scala | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Chalice/src/main/scala')

diff --git a/Chalice/src/main/scala/Translator.scala b/Chalice/src/main/scala/Translator.scala
index 9c3931f3..1e15f92c 100644
--- a/Chalice/src/main/scala/Translator.scala
+++ b/Chalice/src/main/scala/Translator.scala
@@ -1418,6 +1418,7 @@ class FoldedPredicatesInfo {
   /** Start again with the empty information about folded predicates. */
   def reset {
     foldedPredicates = List()
+    currentConditions = Set()
   }
   
   /** return a list of folded predicates that might match for predicate */
-- 
cgit v1.2.3