Project

General

Profile

Revision 45f0f48d src/backends/C/c_backend_src.ml

View differences:

src/backends/C/c_backend_src.ml
325 325

  
326 326
and pp_machine_instr dependencies (m: machine_t) self fmt instr =
327 327
  match instr with 
328
  | MNoReset _ -> ()
328 329
  | MReset i ->
329 330
    pp_machine_reset m self fmt i
330 331
  | MLocalAssign (i,v) ->
......
361 362
	(pp_c_val self (pp_c_var_read m)) g
362 363
	(Utils.fprintf_list ~sep:"@," (pp_machine_branch dependencies m self)) hl
363 364
  | MComment s  -> 
364
      fprintf fmt "//%s@ " s
365
      fprintf fmt "/*%s*/@ " s
365 366

  
366 367

  
367 368
and pp_machine_branch dependencies m self fmt (t, h) =

Also available in: Unified diff