Project

General

Profile

Revision 3769b712 src/tools/stateflow/semantics/cPS_ccode_generator.ml

View differences:

src/tools/stateflow/semantics/cPS_ccode_generator.ml
41 41
       Format.fprintf fmt "<%a>" pp_act a
42 42
    | Seq trl       ->
43 43
       Format.fprintf fmt "@[<v 0>%a@]"
44
	 (Utils.fprintf_list ~sep:";@ " pp_transformer)
44
	 (Lustrec.Utils.fprintf_list ~sep:";@ " pp_transformer)
45 45
	 trl
46 46
    | Ite (c, t, e) ->
47 47
       Format.fprintf fmt "@[<v 0>if %a@ @[<v 2>then@ %a@]@ @[<v 2>else@ %a@]@ endif@]" pp_cond c pp_transformer t pp_transformer e

Also available in: Unified diff