diff --git a/src/sat/sat.mli b/src/sat/sat.mli
index d232f26b543..e4100f8993e 100644
--- a/src/sat/sat.mli
+++ b/src/sat/sat.mli
@@ -10,13 +10,6 @@ module type USER = sig
   val pp : t -> 'tag Pp.t
 end
 
-module Var_value : sig
-  type t =
-    | True
-    | False
-    | Undecided
-end
-
 module Make (User : USER) : sig
   (** A SAT problem consists of a set of variables and a set of clauses which must be satisfied. *)
   type t
@@ -80,7 +73,6 @@ module Make (User : USER) : sig
     | Clause of clause
     | External of string
 
-  val lit_value : lit -> Var_value.t
   val get_user_data_for_lit : lit -> User.t
   val explain_reason : lit -> 'tag Pp.t
 end