From 15d2949b88b171f20c9104a95fee19b95f1a81d1 Mon Sep 17 00:00:00 2001
From: ceriel <none@none>
Date: Wed, 26 Apr 1995 13:54:56 +0000
Subject: [PATCH] Fix: opaque types my only be defined in the CORRESPONDING
 implementation

---
 lang/m2/comp/def.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lang/m2/comp/def.c b/lang/m2/comp/def.c
index 56a24dd61..32074ea43 100644
--- a/lang/m2/comp/def.c
+++ b/lang/m2/comp/def.c
@@ -131,7 +131,8 @@ define(id, scope, kind)
 			/* An opaque type. We may now have found the
 			   definition of this type.
 			*/
-			if (kind == D_TYPE && !DefinitionModule) {
+			if (kind == D_TYPE && df->df_scope == CurrentScope &&
+			    !DefinitionModule) {
 				df->df_kind = D_TYPE;
 				return df;
 			}