diff options
| -rw-r--r-- | printing/ppvernac.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/printing/ppvernac.ml b/printing/ppvernac.ml index d7b36d287..2d0173d19 100644 --- a/printing/ppvernac.ml +++ b/printing/ppvernac.ml @@ -909,6 +909,7 @@ let rec pr_vernac = function term *) | PrintAssumptions (b,qid) -> (if b then str"Print Assumptions" else str"Print Opaque Dependencies") ++ spc() ++ pr_smart_global qid + | PrintNamespace dp -> str"Print Namespace" ++ pr_dirpath dp in pr_printable p | VernacSearch (sea,sea_r) -> pr_search sea sea_r pr_constr_pattern_expr | VernacLocate loc -> |