Revision 2ed9b6f2
Added by Pierre-Loïc Garoche over 8 years ago
| src/backends/Horn/horn_backend.ml | ||
|---|---|---|
| 56 | 56 |
match tdef.tydef_desc with |
| 57 | 57 |
| Tydec_enum tl -> |
| 58 | 58 |
incr cpt_type; |
| 59 |
fprintf fmt "(declare-datatypes () ((%s %a));@.@." |
|
| 59 |
fprintf fmt "(declare-datatypes () ((%s %a)));@.@."
|
|
| 60 | 60 |
var |
| 61 | 61 |
(Utils.fprintf_list ~sep:" " pp_print_string) tl |
| 62 | 62 |
| _ -> assert false |
Also available in: Unified diff
solved bug: missing parenthesis in enum typedef