From 1ca4ba2d63f253c2e47847394f5036152d48eb55 Mon Sep 17 00:00:00 2001
From: Sebastian Erdweg <seba.github@gmail.com>
Date: Tue, 5 Nov 2019 19:28:52 +0100
Subject: [PATCH] fix module name

---
 inca-translation/languages/TypeLang/models/editor.mps | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/inca-translation/languages/TypeLang/models/editor.mps b/inca-translation/languages/TypeLang/models/editor.mps
index e4ec23a..fdff8c5 100644
--- a/inca-translation/languages/TypeLang/models/editor.mps
+++ b/inca-translation/languages/TypeLang/models/editor.mps
@@ -232,7 +232,7 @@
           <node concept="3EZMnI" id="SSjGGIw2Io" role="3EZMnx">
             <node concept="l2Vlx" id="SSjGGIw2Ip" role="2iSdaV" />
             <node concept="3F0ifn" id="SSjGGIw2Iq" role="3EZMnx">
-              <property role="3F0ifm" value="Pattern Function Module" />
+              <property role="3F0ifm" value="Type Language Module" />
             </node>
             <node concept="3F0A7n" id="SSjGGIw2Ir" role="3EZMnx">
               <ref role="1NtTu8" to="tpck:h0TrG11" resolve="name" />
-- 
GitLab