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_verifier.ml
167 167
      (* TODO
168 168
	 load deps: cf print_dep in horn_backend.ml
169 169

  
170
      *)
170
      
171 171
      if false then (
172 172
	
173 173
	let queries = Z3.Fixedpoint.parse_file !fp "nstep.smt2" in
......
232 232

  
233 233
	()	
234 234
      )
235
      else (
235
      else 
236

  
237
       *)
238

  
239
      (
236 240
	
237 241
	
238 242
	decl_sorts ();

Also available in: Unified diff