Project

General

Profile

Revision ca88e660 src/backends/Horn/horn_backend_collecting_sem.ml

View differences:

src/backends/Horn/horn_backend_collecting_sem.ml
92 92
    (pp_conj (pp_horn_var machine)) main_output
93 93
    (Utils.fprintf_list ~sep:" " (pp_horn_var machine)) main_memory_next
94 94
    ;
95
   if !Options.horn_query then fprintf fmt "(query ERR)@."
95
   if !Options.horn_queries then fprintf fmt "(query ERR)@."
96 96

  
97 97

  
98 98
let cex_computation machines fmt node machine =

Also available in: Unified diff