first sites and then guards in the covering class

Kappa-Dev · Feb 19, 2025 · 1426a66 · 1426a66
1 parent c87305c
commit 1426a66
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/core/KaSa_rep/reachability_analysis/covering_classes_main.ml b/core/KaSa_rep/reachability_analysis/covering_classes_main.ml
@@ -277,8 +277,8 @@ let store_remanent parameters error covering_class _modified_map remanent
     Ckappa_sig.get_list_of_guard_parameters nr_guard_parameters
   in
   let covering_class_with_guard_p =
-    List.map (fun x -> Ckappa_sig.Guard_p x) guard_p_list
-    @ List.map (fun x -> Ckappa_sig.Site x) covering_class
+    List.map (fun x -> Ckappa_sig.Site x) covering_class
+    @ List.map (fun x -> Ckappa_sig.Guard_p x) guard_p_list
   in
   (*-------------------------------------------------------------------------*)
   (* current state of remanent*)