From 9714c619344e95ba42ce0798b540bc29897f1008 Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Thu, 7 Mar 2024 21:48:16 -0800
Subject: [PATCH] Rephrase error message

---
 src/main.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main.rs b/src/main.rs
index 3c0b4b2..f20ea39 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -111,7 +111,7 @@ fn call_think(s: &str) -> Result<String, usize> {
 			let n = lean::lean_uint64_of_nat(field) as usize;
 			Err(n)
 		} else {
-			unreachable!("Object tag > constructor")
+			unreachable!("Invalid constructor id")
 		};
 		lean::lean_dec(result_obj);
 		result