From b8b32c2a3b60a49fcbb43871e67e891a5721e26b Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 13 May 2016 00:43:09 -0700
Subject: [PATCH] fix(library/vm/vm): typo

---
 src/library/vm/vm.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/library/vm/vm.h b/src/library/vm/vm.h
index 556ff44a23..4a99b98ed9 100644
--- a/src/library/vm/vm.h
+++ b/src/library/vm/vm.h
@@ -236,7 +236,7 @@ public:
 
     unsigned get_nargs() const {
         lean_assert(m_op == opcode::InvokeGlobal || m_op == opcode::Closure);
-        return m_fn_idx;
+        return m_nargs;
     }
 
     unsigned get_idx() const {