[kb] Prevent VAL from changing the case

b-it-bots · Mar 22, 2020 · 795d128 · 795d128
1 parent c9d85aa
commit 795d128
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/rosplan_knowledge_base/src/VALfiles/lex.yy.cc b/rosplan_knowledge_base/src/VALfiles/lex.yy.cc
@@ -1783,8 +1783,6 @@ YY_RULE_SETUP
 {unsigned int i; 
           yylval.cp = new char[strlen(yytext)+1];
           strcpy(yylval.cp,yytext);
-	  for(i = 0;i<strlen(yylval.cp);i++)
-	      yylval.cp[i] = tolower(yylval.cp[i]);
 	  // If symbol is registered as a function symbol,
 	  // return token FUNCTION_SYMBOL else return NAME
 	  //cout << yytext << " " << line_no << "\n";

diff --git a/rosplan_knowledge_base/src/VALfiles/pddl+.lex b/rosplan_knowledge_base/src/VALfiles/pddl+.lex
@@ -140,8 +140,6 @@ at_time "at"{whitespace}{float}
 {string} {unsigned int i; 
           yylval.cp = new char[strlen(yytext)+1];
           strcpy(yylval.cp,yytext);
-	  for(i = 0;i<strlen(yylval.cp);i++)
-	      yylval.cp[i] = tolower(yylval.cp[i]);
 	  // If symbol is registered as a function symbol,
 	  // return token FUNCTION_SYMBOL else return NAME
 	  //cout << yytext << " " << line_no << "\n";