From f4d842c0dfeb17d76213c65c23ae6da392498692 Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Sun, 29 Sep 2024 23:24:41 +0200
Subject: [PATCH] More fixes to old code

---
 test/org/rascalmpl/benchmark/CompareShortestPath.rsc | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/test/org/rascalmpl/benchmark/CompareShortestPath.rsc b/test/org/rascalmpl/benchmark/CompareShortestPath.rsc
index 574cdc02cf7..af2d62a335e 100644
--- a/test/org/rascalmpl/benchmark/CompareShortestPath.rsc
+++ b/test/org/rascalmpl/benchmark/CompareShortestPath.rsc
@@ -118,16 +118,16 @@ public void measure1(rel[int,int] Graph1){
     jtime = 0.0; jmin = 10000.0; jmax = 0.0;
     rtime = 0.0; rmin = 10000.0; rmax = 0.0;
     for(int i <- [1 .. 20]){
- 		time1 = currentTimeMillis(); P1 = shortestPathPair(G, 1, 0); time2 = currentTimeMillis();
-                                     P2 = shortestPathPair1(G, 1, 0); time3 = currentTimeMillis();
+ 		time1 = getMilliTime(); P1 = shortestPathPair(G, 1, 0); time2 = getMilliTime();
+                                P2 = shortestPathPair1(G, 1, 0); time3 = getMilliTime();
                               
  		d1 = time2 - time1; jtime = jtime + d1; jmin = min(d1, jmin); jmax = max(d1, jmax);
  		d2 = time3 - time2; rtime = rtime + d2; rmin = min(d2, rmin); rmax = max(d2, rmax);
  		println("Java version:   <P1> in <d1> millis");
  		println("Rascal version: <P1> in <d2> millis");
  	}
- 	println("Java average: ", jtime/20, " [<jmin> .. <jmax>]");
- 	println("Rascal average: ", rtime/20, " [<rmin> .. <rmax>]");
+ 	println("Java average: <jtime/20> [<jmin> .. <jmax>]");
+ 	println("Rascal average: <rtime/20> [<rmin> .. <rmax>]");
  	
 }