diff options
author | stefanheule <unknown> | 2012-02-25 03:16:33 -0800 |
---|---|---|
committer | stefanheule <unknown> | 2012-02-25 03:16:33 -0800 |
commit | 03b627f1c17f8039c6b488e74e80e765815bb8e5 (patch) | |
tree | 2b043573b64416245cd90ca0b7bf36e3d157d0d0 /Chalice/src/main/scala | |
parent | 675f12aca404104c82cc1426f01d2d18552c37c2 (diff) |
Chalice: reset currentConditions in fpi.reset
Diffstat (limited to 'Chalice/src/main/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 */
|