parameter type changed

usethesource · Apr 29, 2024 · c92e930 · c92e930
1 parent 56bfa86
commit c92e930
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/org/rascalmpl/library/lang/rascal/tests/library/lang/java/m3/BasicM3Tests.rsc b/src/org/rascalmpl/library/lang/rascal/tests/library/lang/java/m3/BasicM3Tests.rsc
@@ -63,10 +63,10 @@ public M3 getSnakesM3(loc root)
 
 
 set[Declaration] buildASTs(loc root, list[loc] classPath, list[loc] sourcePath) 
-    = createAstsFromFiles(find(root, "java"), true, sourcePath = sourcePath, classPath = classPath, javaVersion ="1.7");
+    = createAstsFromFiles(find(root, "java"), true, sourcePath = sourcePath, classPath = classPath, javaVersion = JSL13());
 
 private M3 buildM3(loc projectName, loc root, list[loc] classPath, list[loc] sourcePath) 
-    = composeJavaM3(projectName, createM3sFromFiles(find(root, "java"),sourcePath = sourcePath, classPath = classPath, javaVersion ="1.7"));
+    = composeJavaM3(projectName, createM3sFromFiles(find(root, "java"),sourcePath = sourcePath, classPath = classPath, javaVersion = JLS13()));
 
 
 // unpackExampleProject("snakes-and-ladders", get("m3/snakes-and-ladders-project-source.zip"));