Revision 990210f3 src/utils.ml
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