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) {