From b2062878d49a44a4743c6966676be239519413e7 Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Thu, 30 Jan 2025 13:50:27 +0100
Subject: [PATCH] Another fix to make this useable in a test

---
 test/org/rascalmpl/benchmark/RSF/RSFCalls.rsc | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/test/org/rascalmpl/benchmark/RSF/RSFCalls.rsc b/test/org/rascalmpl/benchmark/RSF/RSFCalls.rsc
index 294aad92c6..915ffdcc99 100644
--- 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){