From fc2c57f9795922a0853b64f35e45172e479cd900 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 13 Dec 2001 16:35:50 +0000
Subject: MAJ de la traduction en ast des variables de section en qualid

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2296 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/termast.ml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/parsing/termast.ml b/parsing/termast.ml
index f7affb5b10..a22f20ae79 100644
--- a/parsing/termast.ml
+++ b/parsing/termast.ml
@@ -101,17 +101,17 @@ let ast_of_constructor_ref ((sp,tyi),n) =
 let ast_of_inductive_ref (sp,tyi) =
   ope("MUTIND", [path_section dummy_loc sp; num tyi])
 
-let ast_of_ref = function
-  | ConstRef sp -> ast_of_constant_ref sp
-  | IndRef sp -> ast_of_inductive_ref sp
-  | ConstructRef sp -> ast_of_constructor_ref sp
-  | VarRef id -> ast_of_ident id
-
 let ast_of_qualid p =
   let dir, s = repr_qualid p in
   let args = List.map nvar ((List.rev(repr_dirpath dir))@[s]) in
   ope ("QUALID", args)
 
+let ast_of_ref = function
+  | ConstRef sp -> ast_of_constant_ref sp
+  | IndRef sp -> ast_of_inductive_ref sp
+  | ConstructRef sp -> ast_of_constructor_ref sp
+  | VarRef id -> ast_of_qualid (make_qualid empty_dirpath id)
+
 (**********************************************************************)
 (* conversion of patterns                                             *)
 
-- 
cgit v1.2.3