From 911ffba5d54ebd075130d2629f11cb995dd2038a Mon Sep 17 00:00:00 2001
From: Kimaya Bedarkar <kbedarka@mpi-sws.org>
Date: Sat, 22 Mar 2025 11:10:27 +0100
Subject: [PATCH] add spaces
---
analysis/facts/model/ideal_uni_exceed.v | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/analysis/facts/model/ideal_uni_exceed.v b/analysis/facts/model/ideal_uni_exceed.v
index d8fd41ec4..7acaf3be2 100644
--- a/analysis/facts/model/ideal_uni_exceed.v
+++ b/analysis/facts/model/ideal_uni_exceed.v
@@ -90,8 +90,8 @@ Section ExceedanceProcStateProperties1.
[ExceedanceExecution j] for some [j]. *)
Definition is_exceedance_exec (pstate : (exceedance_proc_state Job)) :=
match pstate with
- |ExceedanceExecution _ => true
- |_ => false
+ | ExceedanceExecution _ => true
+ | _ => false
end.
(** Next, let us consider any schedule of the [exceedance_proc_state]. *)
--
GitLab