X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FParseFailed.java;h=fe8e2470a1fce6252bfbd8b9810f890db576f5e6;hp=872ffacb1e421559a85974b9cef44d5303c82925;hb=c1a7dcf0dd5b839d82215263d0f57470e905a73d;hpb=36d88939587827b1cea9ab842ec70bd168a08be1

diff --git a/src/edu/berkeley/sbp/ParseFailed.java b/src/edu/berkeley/sbp/ParseFailed.java
index 872ffac..fe8e247 100644
--- a/src/edu/berkeley/sbp/ParseFailed.java
+++ b/src/edu/berkeley/sbp/ParseFailed.java
@@ -143,7 +143,7 @@ public class ParseFailed extends Exception {
     static void error(String message, GSS.Phase phase, Object token, Input.Region region) throws ParseFailed {
         error(message,
               token,
-              phase,
+              /*phase*/null,
               region,
               phase.getGSS().getInput(),
               phase.getGSS());
@@ -184,8 +184,9 @@ public class ParseFailed extends Exception {
             */
         }
         HashMap<Element,Input.Location> hm = new HashMap<Element,Input.Location>();
-        for(StateNode no : nodes)
-            barf(hm, no, 0, false, region.getStart());
+        if (nodes!=null)
+            for(StateNode no : nodes)
+                barf(hm, no, 0, false, region.getStart());
         ret.append("\n expected: ");
         Set<Element> hs = hm.keySet();
         if (hs.size() == 1) {