From e1bf6d52d32abfe2b371015fe83a8cf6d2c787a1 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 25 Dec 2000 18:48:54 +0000
Subject: Alias variable_path

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

(limited to 'kernel/names.mli')

diff --git a/kernel/names.mli b/kernel/names.mli
index afdcd3a546..770bfe5040 100644
--- a/kernel/names.mli
+++ b/kernel/names.mli
@@ -109,6 +109,7 @@ i*)
 module Spmap : Map.S with type key = section_path
 
 (*s Specific paths for declarations *)
+type variable_path = section_path
 type constant_path = section_path
 type inductive_path = section_path * int
 type constructor_path = inductive_path * int
-- 
cgit v1.2.3