From 3eb773b15788fd429c1db6b5026e7b4c8973c108 Mon Sep 17 00:00:00 2001
From: Paul Klint <Paul.Klint@cwi.nl>
Date: Thu, 13 Aug 2009 11:56:39 +0000
Subject: [PATCH] Fixed error for enumerator with enpty map.

---
 .../rascal/interpreter/matching/EnumeratorResult.java           | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/org/meta_environment/rascal/interpreter/matching/EnumeratorResult.java b/src/org/meta_environment/rascal/interpreter/matching/EnumeratorResult.java
index 4e6b41faa25..05aa68631f4 100644
--- 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();