From 566a6570a857009f13d58e4d7141802c20713791 Mon Sep 17 00:00:00 2001
From: coq
Date: Mon, 14 Apr 2003 09:05:08 +0000
Subject: Correction bug PR#278

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3920 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/printmod.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/parsing/printmod.ml b/parsing/printmod.ml
index 292967b1c7..b20eb5f46a 100644
--- a/parsing/printmod.ml
+++ b/parsing/printmod.ml
@@ -109,6 +109,7 @@ and print_modexpr locals mexpr = match mexpr with
 
 let rec printable_body dir =     
   let dir = dirpath_prefix dir in
+    dir = empty_dirpath || 
     try 
       match Nametab.locate_dir (qualid_of_dirpath dir) with
 	  DirOpenModtype _ -> false
-- 
cgit v1.2.3