diff --git a/driver/main.cpp b/driver/main.cpp
index 0321fff6..e2618598 100644
--- a/driver/main.cpp
+++ b/driver/main.cpp
@@ -317,6 +317,7 @@ int main(int argc, char** argv)
         global.params.run = true;
         if (!runargs.empty()) {
             files.push(mem.strdup(runargs[0].c_str()));
+            runargs.erase(runargs.begin());
         } else {
             global.params.run = false;
             error("Expected at least one argument to '-run'\n");