1.1 restoration

[mir.git] / source / mir / util / xml / XMLReaderTool.java

diff --git a/source/mir/util/xml/XMLReaderTool.java b/source/mir/util/xml/XMLReaderTool.java
index f9bbc52..fb4859d 100755 (executable)
--- a/source/mir/util/xml/XMLReaderTool.java
+++ b/source/mir/util/xml/XMLReaderTool.java
@@ -155,6 +155,7 @@ public class XMLReaderTool {
     return result;
   }
 
+  /** formats an XML name as it would look in an XML file */
   public static String normalizeXMLName(mir.util.xml.XMLName aName) {
     String result = aName.getLocalName();
     if (aName.getPrefix().length() > 0)