Project

General

Profile

Revision 12af4908 src/horn_backend.ml

View differences:

src/horn_backend.ml
95 95
    | Const_real r   -> pp_print_string fmt r
96 96
    | Const_float r  -> pp_print_float fmt r
97 97
    | Const_tag t    -> pp_horn_tag fmt t
98
    | Const_array ca -> assert false
98
    | _              -> assert false
99 99

  
100 100
(* Prints a value expression [v], with internal function calls only.
101 101
   [pp_var] is a printer for variables (typically [pp_c_var_read]),

Also available in: Unified diff