Project

General

Profile

Revision 66359a5e src/optimize_machine.ml

View differences:

src/optimize_machine.ml
261 261

  
262 262
let instr_of_const top_const =
263 263
  let const = const_of_top top_const in
264
  let vdecl = mkvar_decl Location.dummy_loc (const.const_id, mktyp Location.dummy_loc Tydec_any, mkclock Location.dummy_loc Ckdec_any, true, None) in
264
  let vdecl = mkvar_decl Location.dummy_loc (const.const_id, mktyp Location.dummy_loc Tydec_any, mkclock Location.dummy_loc Ckdec_any, true, None, None) in
265 265
  let vdecl = { vdecl with var_type = const.const_type }
266 266
  in mkinstr (MLocalAssign (vdecl, mk_val (Cst const.const_value) vdecl.var_type))
267 267

  

Also available in: Unified diff