From 7b5567d784397c9d2a33b9464b5a1dd75fceb34a Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Sun, 28 Jul 2024 14:19:47 -0700
Subject: [PATCH] fix: Name internal order

---
 Pantograph/Environment.lean | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Pantograph/Environment.lean b/Pantograph/Environment.lean
index a9b2934..d89486c 100644
--- a/Pantograph/Environment.lean
+++ b/Pantograph/Environment.lean
@@ -20,8 +20,8 @@ def isNameInternal (n: Name): Bool :=
 @[export pantograph_environment_catalog]
 def env_catalog (env: Environment): Array Name := env.constants.fold (init := #[]) (λ acc name _ =>
   match isNameInternal name with
-  | true => acc.push name
-  | false => acc)
+  | false => acc.push name
+  | true => acc)
 
 @[export pantograph_environment_module_of_name]
 def module_of_name (env: Environment) (name: Name): Option Name := do