Another fix to make this useable in a test

usethesource · Jan 30, 2025 · b206287 · b206287
1 parent b4f7007
commit b206287
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/test/org/rascalmpl/benchmark/RSF/RSFCalls.rsc b/test/org/rascalmpl/benchmark/RSF/RSFCalls.rsc
@@ -35,8 +35,9 @@ public int measure(){
   return measure(["JHotDraw52.rsf", "JDK140AWT.rsf", "JWAM16FullAndreas.rsf", "jdk14v2.rsf", "Eclipse202a.rsf"]);
 }
 
-public int measureOne(){
-   return measure(["JHotDraw52.rsf"]);
+public bool measureOne(){
+   measure(["JHotDraw52.rsf"]);
+   return true;
 }
 
 public int measure(list[str] names){