From 217e56ea036932bb231a249fb227cbc4da85b96e Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 20 Jan 2014 14:10:44 -0800
Subject: [PATCH] feat(kernel/expr): make sure semantic attachments are smaller
 than other kinds of expression

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/kernel/expr.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/kernel/expr.h b/src/kernel/expr.h
index 8649f9ed24..d5afa39311 100644
--- a/src/kernel/expr.h
+++ b/src/kernel/expr.h
@@ -51,7 +51,7 @@ The main API is divided in the following sections
 - Miscellaneous
 ======================================= */
 class expr;
-enum class expr_kind { Var, Constant, Value, App, Lambda, Pi, Type, Let, MetaVar };
+enum class expr_kind { Value, Var, Constant, App, Lambda, Pi, Type, Let, MetaVar };
 class local_entry;
 /**
    \brief A metavariable local context is just a list of local_entries.