Use invalid_type

This commit is contained in:
Cédric Pasteur 2010-07-20 09:34:11 +02:00
parent b2c88810c5
commit 03608451c4
1 changed files with 1 additions and 1 deletions

View File

@ -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 =