From 887340c4bccbc9f83dda7bb99c9d929852d9d1a9 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 29 Nov 2004 12:24:25 +0000 Subject: [PATCH] passes subst to FreshNameGenerator --- helm/ocaml/cic_unification/cicUnification.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/cic_unification/cicUnification.ml b/helm/ocaml/cic_unification/cicUnification.ml index 63abdfb01..c88e6b78d 100644 --- a/helm/ocaml/cic_unification/cicUnification.ml +++ b/helm/ocaml/cic_unification/cicUnification.ml @@ -207,7 +207,7 @@ let rec beta_expand test_equality_only metasenv subst context t arg = in let argty = type_of_aux' metasenv subst context arg in let fresh_name = - FreshNamesGenerator.mk_fresh_name + FreshNamesGenerator.mk_fresh_name ~subst metasenv context (Cic.Name "Heta") ~typ:argty in let subst,metasenv,t' = aux metasenv subst 0 context t in -- 2.39.2