Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

src/backends/Horn/horn_backend_common.ml
9 9
(*                                                                  *)
10 10
(********************************************************************)
11 11

  
12
open Utils
12 13
open Format
13 14
open Lustre_types
14 15
open Machine_code_types
......
60 61
  | [ x ] ->
61 62
    pp fmt x
62 63
  | _ ->
63
    fprintf fmt "(and @[<v 0>%a@]@ )" (Utils.fprintf_list ~sep:"@ " pp) l
64
    fprintf fmt "(and @[<v 0>%a@]@ )" (pp_print_list pp) l
64 65

  
65 66
(********************************************************************************************)
66 67
(* Workaround to prevent the use of declared keywords as node name *)

Also available in: Unified diff