From 8ef66fc139ee212aa01afc5c5152acc220f780eb Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 12 Sep 2003 14:50:03 +0000
Subject: Activation déclaration automatique de scope d'arguments; affichage
 scopes d'arguments

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4374 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 interp/symbols.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/interp/symbols.mli b/interp/symbols.mli
index 0d96aabbd1..3a3e3bc1ea 100644
--- a/interp/symbols.mli
+++ b/interp/symbols.mli
@@ -116,7 +116,7 @@ val exists_notation_in_scope : scope_name -> notation ->
 val declare_arguments_scope: global_reference -> scope_name option list -> unit
 val find_arguments_scope : global_reference -> scope_name option list
 
-val declare_class_scope : Classops.cl_typ -> scope_name -> unit
+val declare_class_scope : scope_name -> Classops.cl_typ -> unit
 val declare_ref_arguments_scope : global_reference -> unit
 
 (* Analysing notation *)
-- 
cgit v1.2.3