diff --git a/src/funcheck/CodeExtraction.scala b/src/funcheck/CodeExtraction.scala
index c2f8eb132ef48506c1159a473d573cc9d4b70eb4..c912c627447d975d5aecb28893932431ee74bdc1 100644
--- a/src/funcheck/CodeExtraction.scala
+++ b/src/funcheck/CodeExtraction.scala
@@ -293,7 +293,7 @@ trait CodeExtraction extends Extractors {
       case ExGreaterEqThan(l, r) => GreaterEquals(rec(l), rec(r))
       case ExLessThan(l, r) => LessThan(rec(l), rec(r))
       case ExLessEqThan(l, r) => LessEquals(rec(l), rec(r))
-      case ExIfThenElse(t1,t2,t3) => println("if indeed"); IfExpr(rec(t1), rec(t2), rec(t3))
+      case ExIfThenElse(t1,t2,t3) => IfExpr(rec(t1), rec(t2), rec(t3))
       case ExLocalCall(sy,nm,ar) => {
         if(defsToDefs.keysIterator.find(_ == sy).isEmpty) {
           unit.error(tr.pos, "Invoking an invalid function.")