From d6d96cf44f1bdee6300d7a4cc9c82e48994a41d1 Mon Sep 17 00:00:00 2001
From: stefanheule <unknown>
Date: Sat, 25 Feb 2012 03:16:10 -0800
Subject: Chalice: remove stack dump

---
 Chalice/src/main/scala/Translator.scala | 1 -
 1 file changed, 1 deletion(-)

(limited to 'Chalice')

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)
-- 
cgit v1.2.3