diff --git a/src/test/nlsat.cpp b/src/test/nlsat.cpp
index e53378dcc..d1ece65fc 100644
--- a/src/test/nlsat.cpp
+++ b/src/test/nlsat.cpp
@@ -267,7 +267,8 @@ static void tst4() {
 
 static void tst5() {
     params_ref      ps;
-    nlsat::solver s(ps);
+    reslimit        rlim;
+    nlsat::solver s(rlim, ps);
     anum_manager & am = s.am();
     nlsat::pmanager & pm = s.pm();
     nlsat::assignment           as(am);