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.ml  | 1 +
 kernel/names.mli | 1 +
 2 files changed, 2 insertions(+)

(limited to 'kernel')

diff --git a/kernel/names.ml b/kernel/names.ml
index 08b1b58a05..4152ec39e2 100644
--- a/kernel/names.ml
+++ b/kernel/names.ml
@@ -362,6 +362,7 @@ module Spmap = Map.Make(SpOrdered)
 
 (* Special references for inductive objects *)
 
+type variable_path = section_path
 type constant_path = section_path
 type inductive_path = section_path * int
 type constructor_path = inductive_path * int
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