diff options
| -rw-r--r-- | tools/coqdoc/pretty.mll | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/coqdoc/pretty.mll b/tools/coqdoc/pretty.mll index 2af5bda093..686197f9b8 100644 --- a/tools/coqdoc/pretty.mll +++ b/tools/coqdoc/pretty.mll @@ -229,6 +229,8 @@ let decl_token = let gallina_ext = "Module" + | "Include" space+ "Type" + | "Include" | "Declare" space+ "Module" | "Transparent" | "Opaque" |