diff options
Diffstat (limited to 'Chalice')
-rw-r--r-- | Chalice/src/main/scala/Translator.scala | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Chalice/src/main/scala/Translator.scala b/Chalice/src/main/scala/Translator.scala index 95cf1420..8e95f889 100644 --- a/Chalice/src/main/scala/Translator.scala +++ b/Chalice/src/main/scala/Translator.scala @@ -1709,7 +1709,6 @@ class ExpressionTranslator(val globals: Globals, preGlobals: Globals, val fpi: F case func@FunctionApplication(obj, id, args) =>
FunctionApp(functionName(func.f), Heap :: Mask :: SecMask :: (obj :: args map { arg => trrecursive(arg)}))
case uf@Unfolding(_, e) =>
- Thread.dumpStack()
trrecursive(e)
case Iff(e0,e1) =>
trrecursive(e0) <==> trrecursive(e1)
|