From 03608451c40da08e35fe6c5ffd882c1abeaf13a0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Tue, 20 Jul 2010 09:34:11 +0200 Subject: [PATCH] Use invalid_type --- compiler/minils/minils.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/minils/minils.ml b/compiler/minils/minils.ml index 2e61bb5..c9b1782 100644 --- a/compiler/minils/minils.ml +++ b/compiler/minils/minils.ml @@ -138,7 +138,7 @@ type program = { (*Helper functions to build the AST*) -let mk_exp ?(exp_ty = Tprod []) ?(clock = Cbase) ?(loc = no_location) desc = +let mk_exp ?(exp_ty = invalid_type) ?(clock = Cbase) ?(loc = no_location) desc = { e_desc = desc; e_ty = exp_ty; e_ck = clock; e_loc = loc } let mk_var_dec ?(loc = no_location) ?(clock = Cbase) ident ty =