solver->addTableEntry(t1, row5, 2, 3);
solver->addTableEntry(t1, row6, 2, 5);
Function *f1 = solver->completeTable(t1, FLAGIFFUNDEFINED);
- Element * tmparray[]={e1, e2};
+ Element *tmparray[] = {e1, e2};
Element *e3 = solver->applyFunction(f1, tmparray, 2, overflow);
Set *deq[] = {s3,s2};