* Restore bug box

f4de0d3f · Jerome Hugues · 44aa99e1 · f4de0d3f
Commit f4de0d3f authored Jan 25, 2016 by Jerome Hugues
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

src/main/ocarina_cmd.adb src/main/ocarina_cmd.adb +3 -0

No files found.
--- a/src/main/ocarina_cmd.adb
+++ b/src/main/ocarina_cmd.adb
@@ -678,4 +678,7 @@ exception
      --  Expected when Getopt processes -h or --help
      null;

+   when E : others =>
+      Display_Bug_Box (E);
+
 end Ocarina_Cmd;