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