Project

General

Profile

Revision 990210f3 src/utils.ml

View differences:

src/utils.ml
347 347
let get_new_id () = incr var_id_cpt;!var_id_cpt
348 348

  
349 349

  
350
let track_exception () =
351
 if !Options.track_exceptions
352
 then (Printexc.print_backtrace stdout; flush stdout)
353
 else ()
354

  
355

  
356 350
(* for lexing purposes *)
357 351

  
358 352
(* Update line number for location info *)

Also available in: Unified diff