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.ml
59 59 
          | Tydec_enum tl ->
60 60 
            incr cpt_type;
61 61 
            fprintf fmt "(declare-datatypes () ((%s %a)));@.@." var
62 
              (Utils.fprintf_list ~sep:" " pp_print_string)
62 
              (pp_print_list pp_print_string)
63 63 
              tl
64 64 
          | _ ->
65 65 
            assert false)

Also available in: Unified diff