diff --git a/nac3core/src/typecheck/function_check.rs b/nac3core/src/typecheck/function_check.rs index e407880d..db43e037 100644 --- a/nac3core/src/typecheck/function_check.rs +++ b/nac3core/src/typecheck/function_check.rs @@ -337,7 +337,7 @@ impl<'a> Inferencer<'a> { if !self.check_return_value_ty(ret_ty) { return Err(HashSet::from([ format!( - "return value of type {} must be a primitive of a tuple of primitives at {}", + "return value of type {} must be a primitive or a tuple of primitives at {}", self.unifier.stringify(ret_ty), value.location, ),