From 66701de157db09fb346ea871e06f6d7b8d304056 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Fri, 12 Jun 2020 13:13:34 -0700
Subject: [PATCH] fix the test build

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/mps_reader.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/lp/mps_reader.h b/src/math/lp/mps_reader.h
index 550b968b5..f165b08b3 100644
--- a/src/math/lp/mps_reader.h
+++ b/src/math/lp/mps_reader.h
@@ -883,7 +883,7 @@ public:
     }
 
     lar_solver * create_lar_solver() {
-        lar_solver * solver =  new lar_solver([](unsigned, unsigned) { });
+        lar_solver * solver =  new lar_solver();
         fill_lar_solver(solver);
         return solver;
     }