diff options
author | Dietrich <dgeisler50@gmail.com> | 2015-04-26 16:29:12 -0600 |
---|---|---|
committer | Dietrich <dgeisler50@gmail.com> | 2015-04-26 16:29:12 -0600 |
commit | 7b670a303c25dffb9b51ec74783a4b5fc995f432 (patch) | |
tree | 537bc3a8544c26f2b49a24a633bbdfee60cdc330 /Source | |
parent | 1797c235986f576998e28380e1ec4e6005087ebb (diff) |
removed the last console writes (used for testing)
Diffstat (limited to 'Source')
-rw-r--r-- | Source/Core/Parser.cs | 2 |
1 files changed, 0 insertions, 2 deletions
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) {
|