Bug Fix. Issue 58.

#58
MenthorTools · Jan 13, 2016 · 58bce9e · 58bce9e
1 parent 9df1453
commit 58bce9e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/net.menthor.ontouml/src/RefOntoUML/parser/OntoUMLNameHandler.java b/net.menthor.ontouml/src/RefOntoUML/parser/OntoUMLNameHandler.java
@@ -18,7 +18,7 @@ public class OntoUMLNameHandler {
     {
 		"World","abstract","all","and","as","assert","but","check","disj","else","exactly","extends","fact",
         "for","fun","iden","iff","implies","in","Int","let","lone","module","no","none","not","one","open",
-        "or","pred","run","set","sig","some","sum","univ","int","Int", "Property", "Object", "Datatype"
+        "or","pred","run","set","sig","some","sum","univ","int","Int", "Property", "Object", "Datatype", "String"
 
     };
 
@@ -42,7 +42,7 @@ public String treatName (NamedElement element)
         {
             if(name.compareTo(alloykeywords[i])==0)
             {
-            	name = "keyword";
+            	name = name+"_";
                 break;
             }
         }