diff --git a/rosplan_knowledge_base/src/VALfiles/lex.yy.cc b/rosplan_knowledge_base/src/VALfiles/lex.yy.cc
index dcd2129ab..b2e178349 100644
--- 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
index 64045ce5e..3171206a6 100644
--- 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";