Project

General

Profile

Revision 2ed9b6f2 src/backends/Horn/horn_backend.ml

View differences:

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