Project

General

Profile

« Previous | Next » 

Revision d2d9d4cb

Added by Pierre-Loïc Garoche about 5 years ago

Missing files

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_queries then fprintf fmt "(query ERR)@."
95
   if !Options.horn_query then fprintf fmt "(query ERR)@."
96 96

  
97 97

  
98 98
let cex_computation machines fmt node machine =

Also available in: Unified diff