Misc. changes

[mir.git] / source / mir / util / GeneratorHTMLFunctions.java

diff --git a/source/mir/util/GeneratorHTMLFunctions.java b/source/mir/util/GeneratorHTMLFunctions.java
index 4ec3afb..cd6364b 100755 (executable)
--- a/source/mir/util/GeneratorHTMLFunctions.java
+++ b/source/mir/util/GeneratorHTMLFunctions.java
@@ -63,7 +63,7 @@ public class GeneratorHTMLFunctions {
         throw new GeneratorExc("encodeHTMLGeneratorFunction: parameter must be a string (not a "+aParameters.get(0).getClass().getName()+")");
 
 
-      return StringRoutines.encodeHTML((String) aParameters.get(0));
+      return HTMLRoutines.encodeHTML((String) aParameters.get(0));
     };
   }
 }