From c7015450a151ce356ca10087b112266d6d4462a8 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 29 Dec 2017 22:10:01 +0100
Subject: [PATCH] typo

---
 src/core/Solver_intf.ml | 2 --
 1 file changed, 2 deletions(-)

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} *)