Commit 09be281b authored by Benoit Barbot's avatar Benoit Barbot
Browse files

fix bug on empty colored marking

parent e026aaa0
Pipeline #1049 passed with stages
in 13 minutes and 51 seconds
......@@ -852,7 +852,7 @@ void MyModelHandler::on_read_node(const XmlString& id,
if (inMark.empty()) {
int mark = 0;
mark = eval_intFormula(it2.begin());
if(mark !=0)inMark.push_back(coloredToken(mark));
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment