diff options
| -rw-r--r-- | tools/coqdoc/cpretty.mll | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/coqdoc/cpretty.mll b/tools/coqdoc/cpretty.mll index 64cd5ff556..071b3d5558 100644 --- a/tools/coqdoc/cpretty.mll +++ b/tools/coqdoc/cpretty.mll @@ -329,6 +329,7 @@ let def_token = | "Example" | "Local" | "Fixpoint" + | "Function" | "Boxed" | "CoFixpoint" | "Record" |