From c698b2c4a3f90fe17352a7d1e5503d49888b822d Mon Sep 17 00:00:00 2001
From: Alex Mitrevski <aleksandar.mitrevski@h-brs.de>
Date: Sat, 21 Mar 2020 11:51:18 +0100
Subject: [PATCH] [kb] Prevent VAL from changing the case

---
 rosplan_knowledge_base/src/VALfiles/lex.yy.cc | 2 --
 rosplan_knowledge_base/src/VALfiles/pddl+.lex | 2 --
 2 files changed, 4 deletions(-)

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";