From 8a900d2f9b08fae85668f6d0c88d12f4df8d9704 Mon Sep 17 00:00:00 2001
From: Kimaya Bedarkar <kbedarka@mpi-sws.org>
Date: Fri, 21 Mar 2025 14:26:35 +0100
Subject: [PATCH] remove unnecessary stuff
---
analysis/facts/model/ideal_uni_exceed.v | 2 --
1 file changed, 2 deletions(-)
diff --git a/analysis/facts/model/ideal_uni_exceed.v b/analysis/facts/model/ideal_uni_exceed.v
index b30a00b3c..c0465fdff 100644
--- a/analysis/facts/model/ideal_uni_exceed.v
+++ b/analysis/facts/model/ideal_uni_exceed.v
@@ -108,8 +108,6 @@ Section ExceedanceProcStateProperties1.
|ExceedanceExecution _ => true
|_ => false
end.
- Local Transparent scheduled_in scheduled_on service_on.
-
(** Next, let us consider any schedule of the [exceedance_proc_state]. *)
Variable sched : schedule (exceedance_proc_state Job).
--
GitLab