From 86c750a9e2fd1b1e1a776e47df0cb20069c5b445 Mon Sep 17 00:00:00 2001 From: tanneberger Date: Wed, 20 Nov 2024 00:19:41 +0100 Subject: [PATCH] making typing work --- include/reactor-uc/scheduler.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/reactor-uc/scheduler.h b/include/reactor-uc/scheduler.h index f721548b..46cd651d 100644 --- a/include/reactor-uc/scheduler.h +++ b/include/reactor-uc/scheduler.h @@ -8,7 +8,7 @@ typedef struct Scheduler Scheduler; typedef struct Environment Environment; struct Scheduler { - long int start_time; + interval_t start_time; interval_t duration; // The duration after which the program should stop. bool keep_alive; // Whether the program should keep running even if there are no more events to process.