From 84f017f1271d98d5577ecf05a256cdd1d22a2153 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 12 Jan 2014 18:24:04 -0800
Subject: [PATCH] chore(tests/lua): use default environment instead of creating
 a new one

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 tests/lua/hop1.lua | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/lua/hop1.lua b/tests/lua/hop1.lua
index f5219e5b6..c3799e6f9 100644
--- a/tests/lua/hop1.lua
+++ b/tests/lua/hop1.lua
@@ -1,5 +1,5 @@
 import("util.lua")
-local env = environment()
+local env = get_environment()
 parse_lean_cmds([[
   axiom Ax1 {A : TypeU} (P Q : A -> Bool) : (forall x : A, P x /\ Q x) = ((forall x : A, P x) /\ (forall x : A, Q x))
   variable f : Nat -> Nat -> Nat