From f90a9e96d057ac3c4784578fb6a47d193426d8f5 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Thu, 12 Dec 2013 23:20:47 -0500
Subject: [PATCH] fix(shell/lean.cpp): fix not to overwrite optind by
 getopt_long

---
 src/shell/lean.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/shell/lean.cpp b/src/shell/lean.cpp
index 09854d938..e9ec5941e 100644
--- a/src/shell/lean.cpp
+++ b/src/shell/lean.cpp
@@ -93,7 +93,7 @@ int main(int argc, char ** argv) {
     lean::register_modules();
     input_kind default_k = input_kind::Lean; // default
     while (true) {
-        int c = getopt_long(argc, argv, "lugvhc:012s:012", g_long_options, &optind);
+        int c = getopt_long(argc, argv, "lugvhc:012s:012", g_long_options, NULL);
         if (c == -1)
             break; // end of command line
         switch (c) {