From 0119926022371545ec4bcf77e4483414d7c841bc Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 5 Jun 2018 15:56:51 -0700
Subject: [PATCH] fix(kernel/expr): constructor order

---
 src/kernel/expr.h   | 2 +-
 src/library/vm/vm.h | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/kernel/expr.h b/src/kernel/expr.h
index c22fbb92e1..8ed8b38339 100644
--- a/src/kernel/expr.h
+++ b/src/kernel/expr.h
@@ -45,7 +45,7 @@ class expr;
           |   Let           name expr expr expr
           |   Macro         macro
 */
-enum class expr_kind { Var, Sort, Constant, Meta, Local, App, Lambda, Pi, Let, Macro };
+enum class expr_kind { Var, Local, Sort, Constant, Meta, App, Lambda, Pi, Let, Macro };
 class expr_cell {
 protected:
     // The bits of the following field mean:
diff --git a/src/library/vm/vm.h b/src/library/vm/vm.h
index 819ef82037..4ff4038f58 100644
--- a/src/library/vm/vm.h
+++ b/src/library/vm/vm.h
@@ -55,7 +55,7 @@ public:
 #if defined(LEAN_VM_UNCHECKED)
 #define lean_vm_check(cond) lean_assert(cond)
 #else
-#define lean_vm_check(cond) { if (LEAN_UNLIKELY(!(cond))) vm_check_failed(#cond); }
+#define lean_vm_check(cond) { lean_assert(cond); if (LEAN_UNLIKELY(!(cond))) vm_check_failed(#cond); }
 #endif
 
 void display(std::ostream & out, vm_obj const & o);