Revision 333e3a25
Added by Pierre-Loïc Garoche over 5 years ago
| src/printers.ml | ||
|---|---|---|
| 332 | 332 |
| TypeDef tdef -> fprintf fmt "%a@ " pp_typedef tdef |
| 333 | 333 |
|
| 334 | 334 |
let pp_prog fmt prog = |
| 335 |
(* we first print types *) |
|
| 335 |
(* we first print types: the function SortProg.sort could do the job but ut |
|
| 336 |
introduces a cyclic dependance *) |
|
| 336 | 337 |
let type_decl, others = |
| 337 | 338 |
List.partition (fun decl -> match decl.top_decl_desc with TypeDef _ -> true | _ -> false) prog |
| 338 | 339 |
in |
Also available in: Unified diff
[general] Refactor get_node_eqs to produce (eqs, auts) with automatons