Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
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
another step towards refactoring