Project

General

Profile

Revision f4050bef src/features/machine_types/machine_types.ml

View differences:

src/features/machine_types/machine_types.ml
38 38

  
39 39
*)
40 40
open LustreSpec
41

  
42
let is_active = false
41 43
  
42 44
let keyword = ["machine_types"]
43 45

  
......
434 436
  let env, vars =
435 437
    Hashtbl.fold (fun vdecl machine_type (env, vds) ->
436 438
      if vdecl.var_parent_nodeid = Some nd.node_id then (
437
	(* Format.eprintf "Adding variable %a to the environement@." Printers.pp_var vdecl; *)
439
	 (* Format.eprintf "Adding variable %a to the environement@.@?" Printers.pp_var vdecl;  *)
438 440
	let env = Env.add_value env vdecl.var_id machine_type in
439 441
	env, vdecl::vds
440 442
      )

Also available in: Unified diff