From 77232d5a1e66928d678c09b64f74a3c1dba2a39d Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Tue, 26 Dec 2023 12:22:57 -0500
Subject: [PATCH] refactor: Rename Test/{Catalog,Environment}

---
 Test/{Catalog.lean => Environment.lean} | 6 +++---
 Test/Main.lean                          | 4 ++--
 2 files changed, 5 insertions(+), 5 deletions(-)
 rename Test/{Catalog.lean => Environment.lean} (88%)

diff --git a/Test/Catalog.lean b/Test/Environment.lean
similarity index 88%
rename from Test/Catalog.lean
rename to Test/Environment.lean
index 43becdc..3bd8448 100644
--- a/Test/Catalog.lean
+++ b/Test/Environment.lean
@@ -2,7 +2,7 @@ import LSpec
 import Pantograph.Serial
 import Pantograph.Environment
 
-namespace Pantograph.Test.Catalog
+namespace Pantograph.Test.Environment
 
 open Pantograph
 open Lean
@@ -24,7 +24,7 @@ def suite: IO LSpec.TestSeq := do
     (opts := {})
     (trustLevel := 1)
 
-  return LSpec.group "Catalog" $
+  return LSpec.group "Environment" $
     (LSpec.group "Symbol visibility" (← test_symbol_visibility env))
 
-end Pantograph.Test.Catalog
+end Pantograph.Test.Environment
diff --git a/Test/Main.lean b/Test/Main.lean
index 5178e85..4a8ab1f 100644
--- a/Test/Main.lean
+++ b/Test/Main.lean
@@ -1,5 +1,5 @@
 import LSpec
-import Test.Catalog
+import Test.Environment
 import Test.Holes
 import Test.Integration
 import Test.Proofs
@@ -15,7 +15,7 @@ def main := do
     Integration.suite,
     Proofs.suite,
     Serial.suite,
-    Catalog.suite
+    Environment.suite
   ]
   let all ← suites.foldlM (λ acc m => do pure $ acc ++ (← m)) LSpec.TestSeq.done
   LSpec.lspecIO $ all