Project

General

Profile

Revision a1daa793 src/backends/Horn/horn_backend.ml

View differences:

src/backends/Horn/horn_backend.ml
1
(********************************************************************)
1 2
(*                                                                  *)
2 3
(*  The LustreC compiler toolset   /  The LustreC Development Team  *)
3 4
(*  Copyright 2012 -    --   ONERA - CNRS - INPT                    *)
......
46 47
  match l with
47 48
    [] -> assert false
48 49
  | [x] -> pp fmt x
49
  | _ -> fprintf fmt "(and @[<v 0>%a@]@ )" (Utils.fprintf_list ~sep:"\n\t" pp) l
50
  | _ -> fprintf fmt "(and @[<v 0>%a@]@ )" (Utils.fprintf_list ~sep:" " pp) l
50 51

  
51 52

  
52 53

  

Also available in: Unified diff