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();
 };
 }