changes to MGC class library

[IRC.git] / Robust / src / ClassLibrary / MGC / Map.java

diff --git a/Robust/src/ClassLibrary/MGC/Map.java b/Robust/src/ClassLibrary/MGC/Map.java
index ec00ba39645340d2ad7e6a1761dc7e84e1317050..895335651532d253a52dad196a472733349d5498 100644 (file)
--- a/Robust/src/ClassLibrary/MGC/Map.java
+++ b/Robust/src/ClassLibrary/MGC/Map.java
@@ -207,7 +207,7 @@ public interface Map//<K, V>
    *
    * @return the set view of all keys
    */
-  //Set<K> keySet();
+  Set keySet();
 
   /**
    * Copies all entries of the given map to this one (optional operation). If