From 73b685db2e5fd8ae21104211f87a83cc7ef560df Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Thu, 13 Oct 2016 10:59:25 -0400
Subject: [PATCH] fix(frontends/lean/parser): copy environment from snapshot

---
 src/frontends/lean/parser.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/frontends/lean/parser.cpp b/src/frontends/lean/parser.cpp
index fcdeec5fc9..33f414e55b 100644
--- a/src/frontends/lean/parser.cpp
+++ b/src/frontends/lean/parser.cpp
@@ -197,6 +197,7 @@ parser::parser(environment const & env, io_state const & ios,
     m_in_pattern = false;
     m_has_params = false;
     if (s) {
+        m_env                = s->m_env;
         m_messages           = s->m_messages;
         m_local_level_decls  = s->m_lds;
         m_local_decls        = s->m_eds;