diff options
| author | Talia Ringer | 2019-05-22 18:06:50 -0400 |
|---|---|---|
| committer | Talia Ringer | 2019-05-22 18:06:50 -0400 |
| commit | 4757e4f20680c320ac9657b1a6d1570071269850 (patch) | |
| tree | baac08fe10c7a5440a9d93c90de22501f63fdc5e | |
| parent | 7ea5bd0c7180b21e03f6118b3534b3b2f0792758 (diff) | |
Fix ambiguous comment problem
| -rw-r--r-- | stm/stm.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/stm/stm.mli b/stm/stm.mli index 9cf5206cfa..a0bbe05b3a 100644 --- a/stm/stm.mli +++ b/stm/stm.mli @@ -288,8 +288,10 @@ val forward_feedback_hook : (Feedback.feedback -> unit) Hook.t (** User adds a sentence to the document (after parsing) *) val document_add_hook : (Vernacexpr.vernac_control -> Stateid.t -> unit) Hook.t + (** User edits a sentence in the document *) val document_edit_hook : (Stateid.t -> unit) Hook.t + (** User requests evaluation of a sentence *) val sentence_exec_hook : (Stateid.t -> unit) Hook.t |