From 7b670a303c25dffb9b51ec74783a4b5fc995f432 Mon Sep 17 00:00:00 2001
From: Dietrich <dgeisler50@gmail.com>
Date: Sun, 26 Apr 2015 16:29:12 -0600
Subject: removed the last console writes (used for testing)

---
 Source/Core/Parser.cs | 2 --
 1 file changed, 2 deletions(-)

(limited to 'Source')

diff --git a/Source/Core/Parser.cs b/Source/Core/Parser.cs
index 552b3824..a41597f3 100644
--- a/Source/Core/Parser.cs
+++ b/Source/Core/Parser.cs
@@ -170,7 +170,6 @@ private class BvBounds : Expr {
 		for (;;) {
 			t = la;
 			la = scanner.Scan();
-   //Console.WriteLine("Just got the value " + la.kind + " with value " + la.val);
 			if (la.kind <= maxT) { ++errDist; break; } //TODO: should modify float to have value < maxT...
 
 			la = t;
@@ -598,7 +597,6 @@ private class BvBounds : Expr {
 
 	void Type(out Bpl.Type/*!*/ ty) {
 		Contract.Ensures(Contract.ValueAtReturn(out ty) != null); IToken/*!*/ tok; ty = dummyType; 
-  Console.WriteLine(la.kind + " from parser.Type");
 		if (StartOf(5)) {
 			TypeAtom(out ty);
 		} else if (la.kind == 1) {
-- 
cgit v1.2.3