From 16d40c3170318f8c33fdff7573c7814d1c5c9778 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Sat, 28 Apr 2012 05:23:18 -0400
Subject: [PATCH] Fix command-line for the demodularizer.

Closes PR 12731.
---
 collects/compiler/demodularizer/batch.rkt | 1 +
 1 file changed, 1 insertion(+)

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 <path> from flattening"
                  (current-excluded-modules (set-add (current-excluded-modules) path))]
+                #:once-each
                 [("-o") dest-filename "Write output as <dest-filename>"
                  (output-file (string->path dest-filename))]
                 #:args (filename)