fixes a merge error

This commit is contained in:
hneemann 2020-11-23 14:25:17 +01:00
parent b551fbe298
commit 2db2c67e10

View File

@ -43,6 +43,7 @@ public class TestCaseDescription {
Parser tdp = new Parser(data).parse();
lines = tdp.getLines();
names = tdp.getNames();
virtualSignals = tdp.getVirtualSignals();
}
/**