From 12902821d63973e49f34fe5826f1069ca4ea605b Mon Sep 17 00:00:00 2001
From: gingerBill <bill@gingerbill.org>
Date: Sun, 9 Sep 2018 13:48:33 +0100
Subject: Make diverging procedure types different from ones without a return
 type

---
 src/check_type.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/check_type.cpp')

diff --git a/src/check_type.cpp b/src/check_type.cpp
index d523b67de..3319ebeb2 100644
--- a/src/check_type.cpp
+++ b/src/check_type.cpp
@@ -1951,7 +1951,7 @@ bool check_procedure_type(CheckerContext *ctx, Type *type, Ast *proc_type_node,
 	type->Proc.calling_convention   = cc;
 	type->Proc.is_polymorphic       = pt->generic;
 	type->Proc.specialization_count = specialization_count;
-	type->Proc.no_return            = pt->no_return;
+	type->Proc.diverging            = pt->diverging;
 
 	if (param_count > 0) {
 		Entity *end = params->Tuple.variables[param_count-1];
-- 
cgit v1.2.3