From 074ff587399d5a1739c3533f1f5cf66a992e4ec3 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 29 Sep 2015 09:27:34 -0700
Subject: [PATCH] include rlimit in nlsat, include dedicated error message, for
 issue #216

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/test/nlsat.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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);