From 2eac3e5de97314f44ca3182c5733afd376e72ee2 Mon Sep 17 00:00:00 2001
From: Christian Menard <christian.menard@tu-dresden.de>
Date: Mon, 11 Mar 2024 11:14:29 +0100
Subject: [PATCH] make sure numReactors is interpreted as an int

---
 C/Savina/src/micro/ThreadRing.lf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/C/Savina/src/micro/ThreadRing.lf b/C/Savina/src/micro/ThreadRing.lf
index 528d6d8..ceb23a1 100644
--- a/C/Savina/src/micro/ThreadRing.lf
+++ b/C/Savina/src/micro/ThreadRing.lf
@@ -136,7 +136,7 @@ main reactor (numIterations:size_t=12, numPings:size_t=100000, numReactors:size_
   loopOpener = new ThreadRingReactorLoopOpener()
 
   /*[[[cog
-  cog.outl(f'workers = new[{numReactors - 1}] ThreadRingReactor();')
+  cog.outl(f'workers = new[{int(numReactors) - 1}] ThreadRingReactor();')
   ]]] */
   workers = new[99] ThreadRingReactor();
   /** [[[end]]] */