Changeset 1164

Timestamp:

10/10/11 01:37:30 (7 months ago)

Author:

jan

Message:

 

File:

• Yggdrasil/src/basic/prepro/STListStatesTranslator.java (modified) (2 diffs)

Yggdrasil/src/basic/prepro/STListStatesTranslator.java

@@ -95 +95 @@
             out.println(".");
             
-            if (head.getName().equalsIgnoreCase("ggp_role")) {
+            if (head.getName().equalsIgnoreCase("role")) {
                                 type = "role";
                                 head.setName("role");
@@ -119 +119 @@
                                 head.setName("goal");
             }
-                        else
+                        else {
                                 type = "normal";
+                        }
             o_rules.add(new Rule(head, parameters, type));
         }