Project

General

Profile

Revision 3769b712 src/tools/stateflow/common/activeStates.ml

View differences:

src/tools/stateflow/common/activeStates.ml
12 12

  
13 13
  let pp_set fmt rho =
14 14
    Format.fprintf fmt "@[<v 0>%a@ @]"
15
      (Utils.fprintf_list ~sep:"@ "
15
      (Lustrec.Utils.fprintf_list ~sep:"@ "
16 16
	 (fun fmt p -> Format.fprintf fmt "%a" pp_path p))
17 17
      (elements rho)
18 18
end
......
36 36

  
37 37
  let pp_env fmt rho =
38 38
    Format.fprintf fmt "@[<v 0>%a@ @]"
39
      (Utils.fprintf_list ~sep:"@ "
39
      (Lustrec.Utils.fprintf_list ~sep:"@ "
40 40
	 (fun fmt (p,b) -> Format.fprintf fmt "%a -> %b" pp_path p b))
41 41
      (bindings rho)
42 42
end

Also available in: Unified diff