diff options
| author |  stefanheule <unknown> | 2012-02-25 03:16:04 -0800 |
|---|---|---|
| committer | stefanheule <unknown> | 2012-02-25 03:16:04 -0800 |
| commit | 862974fb3afdb256c38849d29b3c6a779ebc5c9a (patch) | |
| tree | 48d87712da0a144e73aa9f6a12acb856bf65477a /Chalice/src/main | |
| parent | 4b1fe4f833310893ff0523ad4a4e48a1738ded15 (diff) | |
Chalice: change location of stack trace dump.
Diffstat (limited to 'Chalice/src/main')
| -rw-r--r-- | Chalice/src/main/scala/Translator.scala | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Chalice/src/main/scala/Translator.scala b/Chalice/src/main/scala/Translator.scala index a2106c14..95cf1420 100644 --- a/Chalice/src/main/scala/Translator.scala +++ b/Chalice/src/main/scala/Translator.scala @@ -1590,8 +1590,6 @@ class ExpressionTranslator(val globals: Globals, preGlobals: Globals, val fpi: F tmpTranslator.isDefined(e)
// record folded predicate
- Thread.dumpStack()
- println(FoldedPredicate(pred.predicate, receiver, version, etran.fpi.currentConditions))
etran.fpi.addFoldedPredicate(FoldedPredicate(pred.predicate, receiver, version, etran.fpi.currentConditions))
stmts
@@ -1711,6 +1709,7 @@ 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)
|