From 0280a1ef1cf8eba91bfff134414a15534da8bfc9 Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Mon, 12 Jul 2010 22:07:21 +0000
Subject: [PATCH] removed debugging info
---
src/purescala/Analysis.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/purescala/Analysis.scala b/src/purescala/Analysis.scala
index b2d26a375..af93704e3 100644
--- a/src/purescala/Analysis.scala
+++ b/src/purescala/Analysis.scala
@@ -257,7 +257,7 @@ object Analysis {
var extras : List[Expr] = Nil
def rewritePM(e: Expr) : Option[Expr] = e match {
- case NotSoSimplePatternMatching(_) => None
+ // case NotSoSimplePatternMatching(_) => None
case SimplePatternMatching(scrutinee, classType, casesInfo) => Some({
val newVar = Variable(FreshIdentifier("pm", true)).setType(e.getType)
val scrutAsLetID = FreshIdentifier("scrut", true).setType(scrutinee.getType)
--
GitLab