From eb12f6f08213f7e4e18c25935c63a2963a633a01 Mon Sep 17 00:00:00 2001
From: pca006132 <jl@m-labs.hk>
Date: Mon, 28 Jun 2021 16:36:24 +0800
Subject: [PATCH] updated inference_context error msg

---
 nac3core/src/typecheck/context/inference_context.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/nac3core/src/typecheck/context/inference_context.rs b/nac3core/src/typecheck/context/inference_context.rs
index 235f6370..d1c76a36 100644
--- a/nac3core/src/typecheck/context/inference_context.rs
+++ b/nac3core/src/typecheck/context/inference_context.rs
@@ -106,7 +106,7 @@ impl<'a> InferenceContext<'a> {
             if *x {
                 Ok(t.clone())
             } else {
-                Err("unbounded identifier".into())
+                Err("may not be defined".into())
             }
         } else {
             match self.resolver.get_symbol_type(name) {