diff options
| author | Enrico Tassi | 2019-05-27 16:41:54 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2019-06-04 13:58:43 +0200 |
| commit | cc40f32473abf33edd98b95b017a89d930190f7a (patch) | |
| tree | 070ebe328cd38eb3787555f4f1b89b38cf1d29bf | |
| parent | 13915784a568f9e0c8a15c99a516a898726dbc61 (diff) | |
remove leftover comments
| -rw-r--r-- | vernac/comFixpoint.mli | 4 |
1 files changed, 0 insertions, 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 (************************************************************************) |