From e148fce6fa35cc1bd3041ce18c87f5573f5bd596 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Wed, 13 Oct 1999 12:34:30 +0000
Subject:  - re-introduction d'une evar_map dans unsafe_env  - les var. ex.
 sont des entiers, et non plus des section_path

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@99 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 proofs/proof_trees.ml  | 2 +-
 proofs/proof_trees.mli | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'proofs')

diff --git a/proofs/proof_trees.ml b/proofs/proof_trees.ml
index 4680607244..994b1b353a 100644
--- a/proofs/proof_trees.ml
+++ b/proofs/proof_trees.ml
@@ -68,7 +68,7 @@ type proof_tree = {
   ref : (rule * proof_tree list) option; 
   subproof : proof_tree option }
 
-and goal =  ctxtty evar_info
+and goal = ctxtty evar_info
 
 and rule =
   | Prim of prim_rule
diff --git a/proofs/proof_trees.mli b/proofs/proof_trees.mli
index 38f7aeb8ec..d20bd8b1f5 100644
--- a/proofs/proof_trees.mli
+++ b/proofs/proof_trees.mli
@@ -79,7 +79,7 @@ type proof_tree = {
   ref : (rule * proof_tree list) option; 
   subproof : proof_tree option }
 
-and goal =  ctxtty evar_info
+and goal = ctxtty evar_info
 
 and rule =
   | Prim of prim_rule
-- 
cgit v1.2.3