diff options
Diffstat (limited to 'src/options.adb')
| -rw-r--r-- | src/options.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/options.adb b/src/options.adb index ccc2e534f..adfb605d4 100644 --- a/src/options.adb +++ b/src/options.adb @@ -143,6 +143,8 @@ package body Options is Dump_Canon := True; elsif Opt = "-da" then Dump_Annotate := True; + elsif Opt = "-do" then + Dump_Origin_Flag := False; elsif Opt = "--dall" then Dump_All := True; elsif Opt = "-dstats" then |