max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(library/vm/vm): typo

Browse source
This commit is contained in:
Leonardo de Moura 2016-05-13 00:43:09 -07:00
parent 843f3a69ba
commit b8b32c2a3b
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/library/vm/vm.h
View file

@ -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 {