diff --git a/collects/compiler/demodularizer/batch.rkt b/collects/compiler/demodularizer/batch.rkt index 37645548b6..afb495a473 100644 --- a/collects/compiler/demodularizer/batch.rkt +++ b/collects/compiler/demodularizer/batch.rkt @@ -115,6 +115,7 @@ Here's the idea: #:multi [("-e" "--exclude-modules") path "Exclude from flattening" (current-excluded-modules (set-add (current-excluded-modules) path))] + #:once-each [("-o") dest-filename "Write output as " (output-file (string->path dest-filename))] #:args (filename)