name fix
authoradam <adam@megacz.com>
Mon, 15 Jan 2007 08:12:28 +0000 (08:12 +0000)
committeradam <adam@megacz.com>
Mon, 15 Jan 2007 08:12:28 +0000 (08:12 +0000)
darcs-hash:20070115081228-5007d-6b93da95cb60651131f1a85f7b73c6ade5ee238a.gz

src/org/ibex/mail/Headers.java

index a68d9d7..6094c79 100644 (file)
@@ -76,7 +76,7 @@ public abstract class Headers extends JS.Immutable implements Fountain {
         public int    getNumLines() { return fountain.getNumLines(); }
         public Stream getStreamWithCRLF() { return new Stream(raw+"\r\n"); }
         public JS get(JS s) throws JSExn { return JSU.S(get(JSU.toString(s).toLowerCase())); }
-        public java.util.Enumeration names() { return head.keys(); }
+        public java.util.Enumeration names() { return head.enumerateKeys(); }
         
         public String get(String s) { return (String)head.get(s.toLowerCase()); }
         public Original(Stream stream) throws Malformed { this(stream, false); }