From 3962d9b0219ea87ecddddaf430dcacf45c2f3a4c Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 13 Jun 2016 13:23:46 -0700 Subject: [PATCH] fix(library/tactic/tactic_state): VM closure arguments should be in reverse order --- src/library/tactic/tactic_state.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/tactic/tactic_state.cpp b/src/library/tactic/tactic_state.cpp index 6fbac9fc20..2001a5676e 100644 --- a/src/library/tactic/tactic_state.cpp +++ b/src/library/tactic/tactic_state.cpp @@ -180,7 +180,7 @@ vm_obj mk_tactic_exception(throwable const & ex) { vm_obj mk_tactic_exception(format const & fmt) { vm_state const & s = get_vm_state(); vm_decl K = *s.get_decl(get_combinator_K_name()); - return mk_tactic_exception(mk_vm_closure(K.get_idx(), mk_vm_unit(), mk_vm_unit(), to_obj(fmt))); + return mk_tactic_exception(mk_vm_closure(K.get_idx(), to_obj(fmt), mk_vm_unit(), mk_vm_unit())); } vm_obj mk_tactic_exception(char const * msg) {