changed name of added guards for rules

Kappa-Dev · Feb 13, 2025 · c27758c · c27758c
1 parent 8c818c7
commit c27758c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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