Fixed type errors

usethesource · Oct 5, 2024 · 1161176 · 1161176
1 parent cdd8460
commit 1161176
Show file tree

Hide file tree

Showing 2 changed files 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
@@ -130,7 +130,7 @@ bool unexpectedType(str stmts, list[str] importedModules = [], list[str] initial
 
 // NOTE: type checker does not yet support analysis of uninitialized variables, therefore this check always succeeds, for now.
 
-bool uninitialized(str _stmts, list[str] _importedModules = [], list[str] _initialDecls = []) = true;
+bool uninitialized(str stmts, list[str] importedModules = [], list[str] initialDecls = []) = true;
 
 //bool uninitialized(str stmts, list[str] importedModules = [], list[str] initialDecls = []) = 
 	//check(stmts, [

diff --git a/src/org/rascalmpl/core/library/lang/rascalcore/compile/Examples/Tst4.rsc b/src/org/rascalmpl/core/library/lang/rascalcore/compile/Examples/Tst4.rsc
@@ -3,7 +3,7 @@ module lang::rascalcore::compile::Examples::Tst4
 
 import ParseTree;
 // If, instead of this import, we use and empty ADT declaration
-// data Tree;
+//data Tree;
 // the problem does not manifest itself
 
 data AType (str alabel = "")