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