diff options
author | stefanheule <unknown> | 2012-02-25 03:31:37 -0800 |
---|---|---|
committer | stefanheule <unknown> | 2012-02-25 03:31:37 -0800 |
commit | 1a6556873b92f341d46da81f84adbb6afb6c2b69 (patch) | |
tree | 7b5735b69bd000078c04112cb7d229f216384ca3 /Chalice/src/main/scala/Translator.scala | |
parent | b31d246854302ee785d27637bf5da4e7b4f29203 (diff) |
Chalice: Fix the recursion bound for updating the secondary mask.
Diffstat (limited to 'Chalice/src/main/scala/Translator.scala')
-rw-r--r-- | Chalice/src/main/scala/Translator.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Chalice/src/main/scala/Translator.scala b/Chalice/src/main/scala/Translator.scala index 31717b83..5881eb9a 100644 --- a/Chalice/src/main/scala/Translator.scala +++ b/Chalice/src/main/scala/Translator.scala @@ -1464,7 +1464,7 @@ class FoldedPredicatesInfo { /** get an upper bound on the recursion depth when updating the secondary mask */
def getRecursionBound(predicate: Predicate): Int = {
- foldedPredicates count (fp => fp.predicate.FullName == predicate.FullName)
+ foldedPredicates length
}
}
|