Project

General

Profile

« Previous | Next » 

Revision ea758c12

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

Commenting out unused variables

View differences:

src/tools/zustre/zustre_cex.ml
153 153
  (*   if !debug then *)
154 154
  (*     Format.eprintf "FP help: %s@." (Z3.Fixedpoint.get_help !fp); *)
155 155

  
156
  let stats_entries =   Z3.Statistics.get_entries stats in
156
  (*  let _ (*stats_entries*) =   Z3.Statistics.get_entries stats in *)
157 157
  (* List.iter (fun e -> Format.eprintf "%s@.@?" *)
158 158
  (*   (Z3.Statistics.Entry.to_string e) *)
159 159
    

Also available in: Unified diff