diff options
Diffstat (limited to 'Chalice/src/main/scala/Translator.scala')
-rw-r--r-- | Chalice/src/main/scala/Translator.scala | 1 |
1 files changed, 1 insertions, 0 deletions
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 */
|