From a96a6fb8bdb705d7c50f38d996f50a2143b6633f Mon Sep 17 00:00:00 2001
From: Danny Yoo <dyoo@cs.wpi.edu>
Date: Wed, 8 Aug 2012 13:35:03 -0400
Subject: [PATCH] removing some console logs

---
 servlet-htdocs/evaluator.js | 1 -
 servlet-htdocs/main.js      | 3 +--
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/servlet-htdocs/evaluator.js b/servlet-htdocs/evaluator.js
index 7960383..4885ea2 100644
--- a/servlet-htdocs/evaluator.js
+++ b/servlet-htdocs/evaluator.js
@@ -432,7 +432,6 @@ var Evaluator = (function() {
         } else {
             this.structuredError = undefined;
         }
-        console.log(this);
     };
 
 
diff --git a/servlet-htdocs/main.js b/servlet-htdocs/main.js
index 6c9c004..5f78c4c 100644
--- a/servlet-htdocs/main.js
+++ b/servlet-htdocs/main.js
@@ -53,8 +53,7 @@ var reportError = function(exn) {
     domElt.style['color'] = 'red';
 
     if (exn.domMessage) {
-	   domElt.appendChild(exn.domMessage);
-       console.log(exn.structuredError);
+	domElt.appendChild(exn.domMessage);
     } else {
 	domElt.appendChild(document.createTextNode(evaluator.getMessageFromExn(exn)+""));
     }