From c3b947d0e1679264bd0888b21f9fe6f843b79368 Mon Sep 17 00:00:00 2001
From: Rebecca Ghidini <rebecca.ghidini@tum.de>
Date: Wed, 12 Feb 2025 17:23:18 +0100
Subject: [PATCH] added working_set token

---
 core/grammar/klexer4.mll  | 1 +
 core/grammar/kparser4.mly | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/core/grammar/klexer4.mll b/core/grammar/klexer4.mll
index b47c941d2..bf99e7536 100644
--- a/core/grammar/klexer4.mll
+++ b/core/grammar/klexer4.mll
@@ -91,6 +91,7 @@ rule token = parse
     | "def" -> CONFIG
     | "token" -> TOKEN
     | "guard_param" -> GUARD_PARAM
+    | "working_set" -> WORKING_SET
     | "conflict" -> CONFLICT
     | _ as s -> raise (ExceptionDefn.Syntax_Error
       ("Unknown directive: "^s,
diff --git a/core/grammar/kparser4.mly b/core/grammar/kparser4.mly
index 228805957..67bd1b718 100644
--- a/core/grammar/kparser4.mly
+++ b/core/grammar/kparser4.mly
@@ -27,7 +27,7 @@
 %token SHARP UNDERSCORE PIPE RAR LRAR LAR EMAX TMAX CPUTIME TIME EVENT NULL_EVENT
 %token COLON NEWLINE BACKSLASH SIGNATURE TOKEN INIT OBS PLOT PERT CONFIG APPLY
 %token DELETE INTRO SNAPSHOT STOP FLUX TRACK ASSIGN PRINTF PLOTENTRY SPECIES_OF
-%token DO REPEAT ALARM RUN LET GUARD_PARAM SHARP_OP_BRA IF CONFLICT
+%token DO REPEAT ALARM RUN LET GUARD_PARAM SHARP_OP_BRA IF CONFLICT WORKING_SET
 %token <int> INT
 %token <float> FLOAT
 %token <string> ID LABEL STRING