diff --git a/src/lpmln2wc_src/lpmln2wc.cpp b/src/lpmln2wc_src/lpmln2wc.cpp index 21b9c2a..448f8a8 100644 --- a/src/lpmln2wc_src/lpmln2wc.cpp +++ b/src/lpmln2wc_src/lpmln2wc.cpp @@ -35,6 +35,12 @@ set findVariables(const string& head){ stack.push(0); } + else if(head.at(i) == '#'){ + while(head.at(i) != '}') + i++; + i++; + } + string tempStr; while(!stack.empty()){ i++; @@ -189,13 +195,13 @@ int main(int argc, char **argv){ s = findFreeVariables(newStr, splitVec[1]); } catch (const std::invalid_argument& ia) { - weightString = "1000@1"; + weightString = "1@1"; s = findFreeVariables(splitVec[0], splitVec[1]); splitVecSpace.clear(); newStr = splitVec[0]; } catch(...){ - weightString = "1000@1"; + weightString = "1@1"; s = findFreeVariables(splitVec[0], splitVec[1]); splitVecSpace.clear(); newStr = splitVec[0];