diff options
Diffstat (limited to 'src/options.adb')
-rw-r--r-- | src/options.adb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/options.adb b/src/options.adb index ad9558f9d..e79c4b387 100644 --- a/src/options.adb +++ b/src/options.adb @@ -59,6 +59,9 @@ package body Options is Vhdl.Nodes.Finalize; Files_Map.Finalize; Libraries.Finalize; + -- TODO: finalize errors (reset counters, handlers...) + -- TODO: PSL + -- TODO: backend end Finalize; function Option_Warning (Opt: String; Val : Boolean) return Option_State is |