From f72d54c2a0dc6949084fa7f7e767c949a6726d16 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 23 May 2019 18:27:41 -0700
Subject: [PATCH] chore(shell/lean): set new IR compiler as the default

---
 src/shell/lean.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/shell/lean.cpp b/src/shell/lean.cpp
index dd19d5622a..9cf6b213fa 100644
--- a/src/shell/lean.cpp
+++ b/src/shell/lean.cpp
@@ -226,7 +226,7 @@ static struct option g_long_options[] = {
     {"deps",         no_argument,       0, 'd'},
     {"timeout",      optional_argument, 0, 'T'},
     {"cpp",          optional_argument, 0, 'c'},
-    {"newcpp",       optional_argument, 0, 'C'}, // temporary flag for testing new IR
+    {"oldcpp",       optional_argument, 0, 'C'}, // use old IR compiler
 #if defined(LEAN_JSON)
     {"json",         no_argument,       0, 'J'},
     {"path",         no_argument,       0, 'p'},
@@ -353,10 +353,10 @@ int main(int argc, char ** argv) {
             case 'h':
                 display_help(std::cout);
                 return 0;
-            case 'c':
+            case 'C':
                 cpp_output = optarg;
                 break;
-            case 'C':
+            case 'c':
                 new_cpp_output = optarg;
                 break;
             case 's':