More name changes

[satune.git] / src / Test / tablefuncencodetest.cc

diff --git a/src/Test/tablefuncencodetest.cc b/src/Test/tablefuncencodetest.cc
index a7367c993233422f09b94a09d4f7e1f453ad0939..e998f3bb6dbf42588c1b1f61ed948e6351c967d2 100644 (file)
--- a/src/Test/tablefuncencodetest.cc
+++ b/src/Test/tablefuncencodetest.cc
@@ -40,7 +40,7 @@ int main(int numargs, char **argv) {
        solver->addTableEntry(t1, row4, 2, 5);
        solver->addTableEntry(t1, row5, 2, 3);
        solver->addTableEntry(t1, row6, 2, 5);
-       Function *f1 = solver->completeTable(t1, FLAGIFFUNDEFINED);
+       Function *f1 = solver->completeTable(t1, SATC_FLAGIFFUNDEFINED);
        Element *tmparray[] = {e1, e2};
        Element *e3 = solver->applyFunction(f1, tmparray, 2, overflow);