From 125388497f1e123ac90e9b1167c99f41751eab90 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Fri, 22 Oct 2004 11:54:57 +0000 Subject: [PATCH] added type to explicit substitutions --- helm/ocaml/cic/cic.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/cic/cic.ml b/helm/ocaml/cic/cic.ml index 7dc86114d..c997d99ca 100644 --- a/helm/ocaml/cic/cic.ml +++ b/helm/ocaml/cic/cic.ml @@ -110,7 +110,7 @@ and coInductiveFun = (* depend on new ones. *) and conjecture = int * context * term and metasenv = conjecture list -and substitution = (int * (context * term)) list +and substitution = (int * (context * term * term)) list -- 2.39.2