diff options
author | mrmr1993 <mr_1993@hotmail.co.uk> | 2018-03-03 14:38:43 +0000 |
---|---|---|
committer | mrmr1993 <mr_1993@hotmail.co.uk> | 2018-03-05 14:46:31 +0000 |
commit | b88790fc8d473af4afd8dd59af61c137068e0376 (patch) | |
tree | c7913f8da91a581b0fd88ec950bdb1b8b1be379b /plugins/ssr/ssrtacticals.ml | |
parent | 5fda90cfe7ad79ee4e32681643b40d9fd0e573ee (diff) |
Separate vim/emacs fold markers from ocamldoc comments
ocamldoc chokes on the markers {{{ and }}} because { and } are part of
its syntax
Diffstat (limited to 'plugins/ssr/ssrtacticals.ml')
-rw-r--r-- | plugins/ssr/ssrtacticals.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/ssr/ssrtacticals.ml b/plugins/ssr/ssrtacticals.ml index 21ad6e6ce..cdf1c6f95 100644 --- a/plugins/ssr/ssrtacticals.ml +++ b/plugins/ssr/ssrtacticals.ml @@ -59,7 +59,7 @@ let tclSEQAT ist atac1 dir (ivar, ((_, atacs2), atac3)) = | L2R, pad, tacs2 -> Tacticals.tclTHENSFIRSTn tac1 (Array.of_list (pad @ tacs2)) tac3 | R2L, pad, tacs2 -> Tacticals.tclTHENSLASTn tac1 tac3 (Array.of_list (tacs2 @ pad)) -(** The "in" pseudo-tactical {{{ **********************************************) +(** The "in" pseudo-tactical *)(* {{{ **********************************************) let hidden_goal_tag = "the_hidden_goal" |