typo

RuleML · May 14, 2014 · 43cb736 · 43cb736
1 parent 6cfd897
commit 43cb736
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/myng/index.html b/myng/index.html
@@ -807,7 +807,7 @@
                 if ( comp) {
                   return "nafhornlog";
                 }  
-                //nafneghornlogeq
+                //nafnegdishornlogplus
                 bb = parseInt("1f", 16);
                 df = 7;
                 ts = 7;
@@ -821,7 +821,7 @@
                 comp = compareTo(LanguageForm, bb, df, ts, lng, 
                   propo, implies, terms, quant, expr, serial  );
                 if ( comp) {
-                  return "nafneghornlogeq";
+                  return "nafnegdishornlogplus";
                 }  
                 //folog
                 bb = parseInt("3f", 16);