From 2d8e02d8444277c6dfe721d51fa3202a08e319c7 Mon Sep 17 00:00:00 2001 From: Adrien Guatto Date: Mon, 5 Jul 2010 12:09:35 +0200 Subject: [PATCH] Fix: typo size_constr -> size_constrs --- compiler/heptagon/analysis/typing.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/heptagon/analysis/typing.ml b/compiler/heptagon/analysis/typing.ml index b30a1a2..a5c7779 100644 --- a/compiler/heptagon/analysis/typing.ml +++ b/compiler/heptagon/analysis/typing.ml @@ -573,7 +573,7 @@ and typing_app statefull h op e_list = params in let expected_ty_list = List.map (subst_type_vars m) expected_ty_list in let typed_e_list = typing_args statefull h expected_ty_list e_list in - let size_constr = + let size_constrs = instanciate_constr m ty_desc.node_params_constraints in let result_ty_list = List.map (subst_type_vars m) result_ty_list in List.iter add_size_constraint size_constrs;