From ad9c4955d4118cc9d452064aec9f045519d68fa1 Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Fri, 20 Dec 2024 21:19:31 +0100
Subject: [PATCH] Removed duplicate code

---
 src/analysis/typepal/ConfigurableScopeGraph.rsc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/analysis/typepal/ConfigurableScopeGraph.rsc b/src/analysis/typepal/ConfigurableScopeGraph.rsc
index 8d8b171..979a4c7 100644
--- a/src/analysis/typepal/ConfigurableScopeGraph.rsc
+++ b/src/analysis/typepal/ConfigurableScopeGraph.rsc
@@ -130,7 +130,7 @@ data TypePalConfig(
             = bool(IdRole _) { return false; },
 
         str(str) normalizeName
-            = str (str s) { return replaceAll(s, "\\", ""); },
+            = defaultNormalizeName,
 
         AType (Tree selector, AType def, AType ins, AType act, Solver s) instantiateTypeParameters
             = AType(Tree _, AType _, AType _, AType act, Solver _){ return act; },