From f8deb4ed5f933deaf7236607576eef787467795e Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Wed, 25 Dec 2019 20:37:51 -0800
Subject: [PATCH] add NOT_IMPLEMENTED_YET

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

diff --git a/src/math/lp/nla_core.cpp b/src/math/lp/nla_core.cpp
index 43b5b4a6e..0bc500fc4 100644
--- a/src/math/lp/nla_core.cpp
+++ b/src/math/lp/nla_core.cpp
@@ -1410,6 +1410,7 @@ std::ostream& core::print_term( const lp::lar_term& t, std::ostream& out) const
 
 void core::run_pdd_grobner() {
     m_pdd_manager.resize(m_lar_solver.number_of_vars());
+    NOT_IMPLEMENTED_YET();
 }
 
 void core::add_var_and_its_factors_to_q_and_collect_new_rows(lpvar j, svector<lpvar> & q) {