Rephrase error message

2024-03-07 21:48:16 -08:00 · 2024-03-07 21:48:16 -08:00 · 9714c61934
parent 01a51b4e08
commit 9714c61934
1 changed files with 1 additions and 1 deletions
--- 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