From 572c7ced2acadb1893c1124e4cdb2fedf383ef04 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Wed, 11 Sep 2013 16:07:17 -0700
Subject: [PATCH] Add #include<atomic> to expr.h. We need it when #define
 LEAN_THREAD_UNSAFE_REF_COUNT is used

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

diff --git a/src/kernel/expr.h b/src/kernel/expr.h
index 4cc583985..b420df9dd 100644
--- a/src/kernel/expr.h
+++ b/src/kernel/expr.h
@@ -7,6 +7,7 @@ Author: Leonardo de Moura
 #pragma once
 #include <iostream>
 #include <limits>
+#include <atomic>
 #include "rc.h"
 #include "name.h"
 #include "level.h"