From 7cb97a89c564671706343bc817e153add04862c2 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 22 Dec 2020 12:36:02 -0500
Subject: [PATCH] make type abstract

---
 src/arith/lra/linear_expr_intf.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/arith/lra/linear_expr_intf.ml b/src/arith/lra/linear_expr_intf.ml
index 8a73c37b..14b7b619 100644
--- a/src/arith/lra/linear_expr_intf.ml
+++ b/src/arith/lra/linear_expr_intf.ml
@@ -134,7 +134,7 @@ module type S = sig
       to coefficients. This allows for very fast computations.
   *)
   module Comb : sig
-    type t = private C.t Var_map.t
+    type t
     (** The type of linear combinations. *)
 
     val compare : t -> t -> int