From 9a1e658860b6320830698f197b69694c661ecfa0 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Thu, 11 Oct 2018 18:21:29 +0200
Subject: Add comment in stm to unsupport attributes for special commands

---
 stm/stm.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/stm/stm.ml b/stm/stm.ml
index 19915b1600..07049815ef 100644
--- a/stm/stm.ml
+++ b/stm/stm.ml
@@ -1077,6 +1077,7 @@ let stm_vernac_interp ?proof ?route id st { verbose; loc; expr } : Vernacstate.t
     | _ -> false
   in
   let aux_interp st expr =
+    (* XXX unsupported attributes *)
     let cmd = Vernacprop.under_control expr in
     if is_filtered_command cmd then
       (stm_pperr_endline Pp.(fun () -> str "ignoring " ++ Ppvernac.pr_vernac expr); st)
-- 
cgit v1.2.3