1 files changed, 2 insertions, 2 deletions
diff --git a/020run.cc b/020run.cc
index fd05f1d8..362d93a0 100644
--- a/020run.cc
+++ b/020run.cc
@@ -148,8 +148,8 @@ load_file_or_directory("core.mu");
 //? START_TRACING_UNTIL_END_OF_SCOPE
 if (argc > 1) {
   // skip argv[0]
-  argv++;
-  argc--;
+  ++argv;
+  --argc;
   // ignore argv past '--'; that's commandline args for 'main'
   while (argc > 0) {
     if (string(*argv) == "--") break;