Fix sygus unit (#4371)

diff --git a/test/unit/api/solver_black.h b/test/unit/api/solver_black.h
index 4b5480dba7a54161c5a3ecd60ae78fde0a93aeca..bfbe201d28d6ee490926327a93028362e6e0c423 100644 (file)
--- a/test/unit/api/solver_black.h
+++ b/test/unit/api/solver_black.h
@@ -1261,7 +1261,7 @@ void SolverBlack::testSynthFun()
   Sort null = d_solver->getNullSort();
   Sort boolean = d_solver->getBooleanSort();
   Sort integer = d_solver->getIntegerSort();
-  Sort boolToBool = d_solver->mkFunctionSort({boolean}, boolean);
+  Sort boolToBool = d_solver->mkFunctionSort(boolean, boolean);
 
   Term nullTerm;
   Term x = d_solver->mkVar(boolean);