switch order

Signed-off-by: Xudong Sun <[email protected]>
anvil-verifier · Oct 7, 2024 · c6a9771 · c6a9771
1 parent c97e195
commit c6a9771
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/v2/kubernetes_cluster/spec/cluster.rs b/src/v2/kubernetes_cluster/spec/cluster.rs
@@ -376,8 +376,8 @@ impl Cluster {
                 let controller_and_external_state = s.controller_and_externals[controller_id];
                 let controller_and_external_state_prime = ControllerAndExternalState {
                     controller: ControllerState {
-                        ongoing_reconciles: Map::<ObjectRef, OngoingReconcile>::empty(),
                         scheduled_reconciles: Map::<ObjectRef, DynamicObjectView>::empty(),
+                        ongoing_reconciles: Map::<ObjectRef, OngoingReconcile>::empty(),
                     },
                     ..controller_and_external_state
                 };

diff --git a/src/v2/kubernetes_cluster/spec/controller/state_machine.rs b/src/v2/kubernetes_cluster/spec/controller/state_machine.rs
@@ -139,8 +139,8 @@ pub open spec fn controller(model: ReconcileModel, controller_id: int) -> Contro
     StateMachine {
         init: |s: ControllerState| {
             s == ControllerState {
-                ongoing_reconciles: Map::<ObjectRef, OngoingReconcile>::empty(),
                 scheduled_reconciles: Map::<ObjectRef, DynamicObjectView>::empty(),
+                ongoing_reconciles: Map::<ObjectRef, OngoingReconcile>::empty(),
             }
         },
         actions: set![