From aa65eb18f06d98daa08b5df55a59cac54fe7224a Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 20 Sep 2005 15:23:15 +0000 Subject: [PATCH] more refere to bindings in env type definition --- helm/ocaml/cic_notation/cicNotationEnv.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2