diff options
Diffstat (limited to 'src/flags.ads')
-rw-r--r-- | src/flags.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/flags.ads b/src/flags.ads index 4bb6ec486..dc6dcc96d 100644 --- a/src/flags.ads +++ b/src/flags.ads @@ -67,6 +67,10 @@ package Flags is -- -dstats: disp statistics. Dump_Stats : Boolean := False; + -- If not 0, do internal consistency and leaks check on the AST after + -- analysis. + Check_Ast_Level : Natural := 0; + -- -lX options: list tree as a vhdl file. -- --lall option: makes -lX options to apply to all files |