From 3c22073b7a03391cb8a88bf5ec6cfb0f4ba2318d Mon Sep 17 00:00:00 2001
From: mohring
Date: Thu, 23 Nov 2000 07:55:58 +0000
Subject: Reparation IsMutConstruct + Transparent

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@920 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/vernacentries.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'toplevel')

diff --git a/toplevel/vernacentries.ml b/toplevel/vernacentries.ml
index 6363decfe1..b72aa80e1f 100644
--- a/toplevel/vernacentries.ml
+++ b/toplevel/vernacentries.ml
@@ -488,7 +488,8 @@ let _ =
     (fun id_list () ->
        List.iter 
 	 (function 
-	    | VARG_CONSTANT sp -> Global.set_transparent sp
+(*	    | VARG_CONSTANT sp -> Global.set_transparent sp *)
+	    | VARG_QUALID sp -> Global.set_transparent sp
 	    |   _  -> bad_vernac_args "TRANSPARENT")
 	 id_list)
     
-- 
cgit v1.2.3