From fa8b984e273106676043899a51c8b17bc65854c2 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 13 Dec 2013 13:54:09 -0800
Subject: [PATCH] fix(kernel/environment): compilation warnings

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/kernel/environment.h | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/kernel/environment.h b/src/kernel/environment.h
index 905febd23..67c858a92 100644
--- a/src/kernel/environment.h
+++ b/src/kernel/environment.h
@@ -23,8 +23,10 @@ class type_checker;
 class environment_extension;
 
 /** \brief Implementation of the Lean environment. */
-struct environment_cell {
+class environment_cell {
     friend class environment;
+    friend class read_write_shared_environment;
+    friend class read_only_shared_environment;
     // Remark: only named objects are stored in the dictionary.
     typedef std::unordered_map<name, object, name_hash, name_eq> object_dictionary;
     typedef std::tuple<level, level, int> constraint;
@@ -315,7 +317,7 @@ public:
    in the environment
 */
 class environment_extension {
-    friend struct environment_cell;
+    friend class environment_cell;
     environment_cell * m_env;
     unsigned           m_extid; // extension id
     environment_extension const * get_parent_core() const;