Awesome oneliner fix: now XSD works smoothly as well

grammarware · Jul 5, 2012 · 9c19872 · 9c19872
1 parent a41b3f3
commit 9c19872
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/shared/rascal/src/converge/PureGuided.rsc b/shared/rascal/src/converge/PureGuided.rsc
@@ -92,7 +92,7 @@ tuple[NameMatch,BGFProdList,BGFProdList]
 		}
 		truenm = {};
 		for (<a,b> <- nm-known)
-			if (a==b)
+			if ((a==b) && a in domain(known))
 				println("Reconfirmed <a>");
 			else
 			{
@@ -121,7 +121,7 @@ tuple[NameMatch,BGFProdList,BGFProdList]
 		}
 		truenm = {};
 		for (<a,b> <- nm-known)
-			if (a==b)
+			if ((a==b) && a in domain(known))
 				println("Reconfirmed <a>");
 			else
 			{