diff options
Diffstat (limited to 'ide/texmacspp.ml')
| -rw-r--r-- | ide/texmacspp.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ide/texmacspp.ml b/ide/texmacspp.ml index dbcd8630b..680da7f54 100644 --- a/ide/texmacspp.ml +++ b/ide/texmacspp.ml @@ -724,6 +724,9 @@ let rec tmpp v loc = | VernacComments (cl) -> xmlComment loc (List.flatten (List.map pp_comment cl)) + (* Stm backdoor *) + | VernacStm _ as x -> xmlTODO loc x + (* Proof management *) | VernacGoal _ as x -> xmlTODO loc x | VernacAbort _ as x -> xmlTODO loc x |