Fixed error for enumerator with enpty map.

usethesource · Aug 13, 2009 · 3eb773b · 3eb773b
1 parent d170f8e
commit 3eb773b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/org/meta_environment/rascal/interpreter/matching/EnumeratorResult.java b/src/org/meta_environment/rascal/interpreter/matching/EnumeratorResult.java
@@ -91,7 +91,7 @@ private void makeIterator(Type subjectType, IValue subjectValue){
 		// Map
 		} else if(subjectType.isMapType()){
 			checkNoStrategy(subjectType);
-			if(!subjectType.getElementType().isVoidType())
+			if(!subjectType.getKeyType().isVoidType())
 				checkMayOccur(patType, subjectType.getKeyType());
 			iterator = ((IMap) subjectValue).iterator();