From 2e9b4f643a80886aa92e547e95b0b4c1520cc9c8 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 15 Apr 2019 15:42:28 -0700
Subject: [PATCH] fix a reference to random

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/util/lp/nla_common.cpp | 4 ++++
 src/util/lp/nla_common.h   | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/util/lp/nla_common.cpp b/src/util/lp/nla_common.cpp
index 798500e58..aba5f810e 100644
--- a/src/util/lp/nla_common.cpp
+++ b/src/util/lp/nla_common.cpp
@@ -123,5 +123,9 @@ bool common::check_monomial(const monomial& m) const {
     return c().check_monomial(m);
 }
 
+unsigned common::random() {
+    return c().random();
+}
+
 }
 
diff --git a/src/util/lp/nla_common.h b/src/util/lp/nla_common.h
index 57facac55..b168ebc96 100644
--- a/src/util/lp/nla_common.h
+++ b/src/util/lp/nla_common.h
@@ -85,6 +85,6 @@ struct common {
     std::ostream& print_rooted_monomial(const rooted_mon &, std::ostream& out) const;
     std::ostream& print_rooted_monomial_with_vars(const rooted_mon&, std::ostream& out) const;
     bool check_monomial(const monomial&) const;
-    
+    unsigned random();
 };
 }