From cc40f32473abf33edd98b95b017a89d930190f7a Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 27 May 2019 16:41:54 +0200
Subject: remove leftover comments

---
 vernac/comFixpoint.mli | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/vernac/comFixpoint.mli b/vernac/comFixpoint.mli
index b32ea44da2..c8d617da5f 100644
--- a/vernac/comFixpoint.mli
+++ b/vernac/comFixpoint.mli
@@ -19,19 +19,15 @@ open Vernacexpr
 (** Entry points for the vernacular commands Fixpoint and CoFixpoint *)
 
 val do_fixpoint_interactive :
-  (* When [false], assume guarded. *)
   locality -> polymorphic -> (fixpoint_expr * decl_notation list) list -> Proof_global.t
 
 val do_fixpoint :
-  (* When [false], assume guarded. *)
   locality -> polymorphic -> (fixpoint_expr * decl_notation list) list -> unit
 
 val do_cofixpoint_interactive :
-  (* When [false], assume guarded. *)
   locality -> polymorphic -> (cofixpoint_expr * decl_notation list) list -> Proof_global.t
 
 val do_cofixpoint :
-  (* When [false], assume guarded. *)
   locality -> polymorphic -> (cofixpoint_expr * decl_notation list) list -> unit
 
 (************************************************************************)
-- 
cgit v1.2.3