From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 20 Sep 2005 15:23:15 +0000 (+0000)
Subject: more refere to bindings in env type definition
X-Git-Tag: LAST_BEFORE_NEW~83
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=aa65eb18f06d98daa08b5df55a59cac54fe7224a;p=helm.git

more refere to bindings in env type definition
---

diff --git a/helm/ocaml/cic_notation/cicNotationEnv.ml b/helm/ocaml/cic_notation/cicNotationEnv.ml
index 9a4a8e20b..62212f92f 100644
--- a/helm/ocaml/cic_notation/cicNotationEnv.ml
+++ b/helm/ocaml/cic_notation/cicNotationEnv.ml
@@ -44,7 +44,7 @@ exception Type_mismatch of string * value_type
 
 type declaration = string * value_type
 type binding = string * (value_type * value)
-type t = (string * (value_type * value)) list
+type t = binding list
 
 let lookup env name =
   try