Run tabbing pass
[satune.git] / src / Test / tablefuncencodetest.cc
index 354b5ef450d62328a77ba0374ea95e8c50140fcf..f0610e4bb28f3d10d8a48509299497f16fb6a12d 100644 (file)
@@ -41,7 +41,7 @@ int main(int numargs, char **argv) {
        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};