diff --git a/src/core/Solver_intf.ml b/src/core/Solver_intf.ml
index 7bb371ff..e49ba33f 100644
--- a/src/core/Solver_intf.ml
+++ b/src/core/Solver_intf.ml
@@ -121,8 +121,6 @@ module type S = sig
   val pop : t -> unit
   (** Return to last save point *)
 
-  val pop : t -> unit
-
   val export : t -> clause export
 
   (** {2 Re-export some functions} *)