fixed signature of rascalTModelForLocs

usethesource · Mar 7, 2024 · 29a0780 · 29a0780
1 parent 6e24aac
commit 29a0780
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/check/tests/StaticTestingUtils.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/check/tests/StaticTestingUtils.rsc
@@ -64,7 +64,7 @@ set[Message] getAllMessages(ModuleStatus r)
 
 ModuleStatus checkStatements(str stmts, list[str] importedModules = [], list[str] initialDecls = []){
     mloc = buildModule(stmts, importedModules=importedModules, initialDecls=initialDecls);
-   return rascalTModelForLocs([mloc], testingConfig(), rascalTypePalConfig(),  getRascalCompilerConfig(), dummy_compile1);
+   return rascalTModelForLocs([mloc], rascalTypePalConfig(),  getRascalCompilerConfig(), dummy_compile1);
 }
 
 bool check(str stmts, list[str] expected, list[str] importedModules = [], list[str] initialDecls = []){
@@ -87,7 +87,7 @@ bool checkOK(str stmts, list[str] importedModules = [], list[str] initialDecls =
 
 bool checkModuleOK(loc moduleToCheck){
 	//rascalTModelForLocs([moduleToCheck], testingConfig(), rascalTypePalConfig());
-     errors = getErrorMessages(rascalTModelForLocs([moduleToCheck], testingConfig(), rascalTypePalConfig(rascalTypeConfig = testingConfig()), getRascalCompilerConfig(), dummy_compile1));
+     errors = getErrorMessages(rascalTModelForLocs([moduleToCheck], rascalTypePalConfig(), getRascalCompilerConfig(), dummy_compile1));
      if(size(errors) == 0)
         return true;
      throw abbrev("<errors>");