From 961b6ce65227b0f89093ec0d14c32a1d8675a0d1 Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Thu, 14 Mar 2024 11:12:40 +0100
Subject: [PATCH] Replaced !(... in ...) by ... notin ...

---
 src/org/rascalmpl/library/util/Reflective.rsc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/org/rascalmpl/library/util/Reflective.rsc b/src/org/rascalmpl/library/util/Reflective.rsc
index 317b37e9000..240847392b9 100644
--- a/src/org/rascalmpl/library/util/Reflective.rsc
+++ b/src/org/rascalmpl/library/util/Reflective.rsc
@@ -142,7 +142,7 @@ tuple[str,str] splitFileExtension(str path){
 str getModuleName(loc moduleLoc,  PathConfig pcfg){
     modulePath = moduleLoc.path;
     
-    if(!(moduleLoc.extension in {"rsc", "tpl"})){
+    if(moduleLoc.extension notin {"rsc", "tpl"}){
         throw "Not a Rascal source or tpl file: <moduleLoc>";
     }