From 4757e4f20680c320ac9657b1a6d1570071269850 Mon Sep 17 00:00:00 2001
From: Talia Ringer
Date: Wed, 22 May 2019 18:06:50 -0400
Subject: Fix ambiguous comment problem

---
 stm/stm.mli | 2 ++
 1 file changed, 2 insertions(+)

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
 
-- 
cgit v1.2.3