From 2512a958b9f6e3ecc53306e0d0b0c0f18c0bc212 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 9 Feb 2020 08:25:52 -0800
Subject: [PATCH] fix build of test

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

diff --git a/src/test/lp/lp.cpp b/src/test/lp/lp.cpp
index ca1fc4d20..fabd75598 100644
--- a/src/test/lp/lp.cpp
+++ b/src/test/lp/lp.cpp
@@ -57,6 +57,7 @@
 #include "math/lp/nla_solver.h"
 #include "math/lp/horner.h"
 #include "math/lp/cross_nested.h"
+#include "math/lp/int_cube.h"
 namespace nla {
 void test_horner();
 void test_order_lemma();
@@ -2962,7 +2963,8 @@ void test_term() {
     std::cout << "\n";
     int_solver i_s(solver);
     solver.set_int_solver(&i_s);
-    lia_move m = i_s.find_cube();
+    int_cube cuber(i_s);
+    lia_move m = cuber();
     
     std::cout <<"\n" << lia_move_to_string(m) << std::endl;
     model.clear();