From c27758c3ca3394af73322285da912831fe9d35eb Mon Sep 17 00:00:00 2001 From: Rebecca Ghidini Date: Thu, 13 Feb 2025 14:42:08 +0100 Subject: [PATCH] changed name of added guards for rules --- core/grammar/cst.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/core/grammar/cst.ml b/core/grammar/cst.ml index d7a6bceeb..b995339aa 100644 --- a/core/grammar/cst.ml +++ b/core/grammar/cst.ml @@ -7,7 +7,7 @@ (******************************************************************************) let add_working_set_guard guard k = - let guard_name = "@ws-rule-" ^ string_of_int k in + let guard_name = "@rule-" ^ string_of_int k in let guard_param = LKappa.Param guard_name in match guard with | None -> Some guard_param