diff options
Diffstat (limited to 'parsing/printer.ml')
| -rw-r--r-- | parsing/printer.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/printer.ml b/parsing/printer.ml index c93fdbb480..3083154e60 100644 --- a/parsing/printer.ml +++ b/parsing/printer.ml @@ -176,7 +176,7 @@ let pr_env k env = [< sign_env; db_env >] let pr_ne_env header k = function - | ENVIRON (([],[]),[]) -> [< >] + | ENVIRON (sign,_) as env when isnull_sign sign & isnull_rel_env env -> [< >] | env -> let penv = pr_env k env in [< header; penv >] let pr_env_limit n env = |