From d28b8b33b40da83f8f3e068cad80a04ccaf960fe Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@microsoft.com>
Date: Wed, 17 May 2017 11:04:35 -0700
Subject: [PATCH] add file

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
---
 src/test/lp/lp_main.cpp | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 src/test/lp/lp_main.cpp

diff --git a/src/test/lp/lp_main.cpp b/src/test/lp/lp_main.cpp
new file mode 100644
index 000000000..a301f38c6
--- /dev/null
+++ b/src/test/lp/lp_main.cpp
@@ -0,0 +1,14 @@
+void        gparams_register_modules(){}
+void mem_initialize() {}
+void mem_finalize() {}
+#include "util/rational.h"
+namespace lean {
+void test_lp_local(int argc, char**argv);
+}
+int main(int argn, char**argv){
+    rational::initialize();
+    lean::test_lp_local(argn, argv);
+    rational::finalize();
+    return 0;
+}
+