added some additional BMW checks

This commit is contained in:
nemu
2009-04-02 19:22:21 +00:00
parent fcc18e2ae4
commit 2e4763b9b0
2 changed files with 29 additions and 12 deletions

View File

@ -801,7 +801,18 @@ void PTheory::MakeCleanAndTidyPolynom(unsigned int i, PMsrLines *fullTheoryBlock
// tokenize line
tokens = str.Tokenize(" \t");
for (unsigned int j=1; j<(unsigned int)tokens->GetEntries(); j++) {
// check if comment is already present, and if yes ignore it by setting max correctly
unsigned int max = (unsigned int)tokens->GetEntries();
for (unsigned int j=1; j<max; j++) {
ostr = dynamic_cast<TObjString*>(tokens->At(j));
str = ostr->GetString();
if (str.Contains("(")) { // comment present
max=j;
break;
}
}
for (unsigned int j=1; j<max; j++) {
ostr = dynamic_cast<TObjString*>(tokens->At(j));
str = ostr->GetString();
sprintf(substr, "%6s", str.Data());