- public static void complain(Node n, HashMap<String,HashSet<String>> errors, boolean force) {
- //if (n.touched) return;
- //n.touched = true;
+ // FIXME
+ private static HashSet<GSS.Phase.Node> touched = new HashSet<GSS.Phase.Node>();
+ public static <Tok> void complain(GSS.Phase<Tok>.Node n, HashMap<String,HashSet<String>> errors, boolean force) {
+ if (touched.contains(n)) return;
+ touched.add(n);