diff options
| author |  Dietrich <dgeisler50@gmail.com> | 2015-04-20 05:20:06 -0600 |
|---|---|---|
| committer | Dietrich <dgeisler50@gmail.com> | 2015-04-20 05:20:06 -0600 |
| commit | 4f35766542c5735374b85f66006afea875f07b79 (patch) | |
| tree | 76842d97212c417a28baf425e9b30fb2a6ecf3f7 /Source/Core/Parser.cs | |
| parent | bdb6a7db94de0310fb6535facb33782fe231c013 (diff) | |
added a collection of console writes for debugging. These should be removed in a future commit
Diffstat (limited to 'Source/Core/Parser.cs')
| -rw-r--r-- | Source/Core/Parser.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Source/Core/Parser.cs b/Source/Core/Parser.cs index 5545d8c4..bbe7af4b 100644 --- a/Source/Core/Parser.cs +++ b/Source/Core/Parser.cs @@ -170,6 +170,7 @@ 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; }
la = t;
@@ -597,6 +598,7 @@ 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) {
|