From 3234a50856982efb925f6e62757641a0519414ff Mon Sep 17 00:00:00 2001
From: Martin PORTALIER
Date: Fri, 23 Aug 2019 16:11:32 +0200
Subject: [PATCH] Update readme.md
---
restructuring/analysis/fpp_implicit_deadline/readme.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/restructuring/analysis/fpp_implicit_deadline/readme.md b/restructuring/analysis/fpp_implicit_deadline/readme.md
index abd55c5..a0b7cd4 100644
--- a/restructuring/analysis/fpp_implicit_deadline/readme.md
+++ b/restructuring/analysis/fpp_implicit_deadline/readme.md
@@ -11,7 +11,7 @@ The proof is split in 4 files that are independent except the main one :
- main_theorem : formalization and proof that the job response time is bounded and reached.
- intermediate : definition of an analyse interval and proofs of lemmas on it.
-- workload_bound_fp : proof that the workload is bounded and this bound is reached.
+- workload_bound_fp : proof that the workload is bounded by the 'workload bound'.
- facts : usefull trivial lemmas about arithmetic and logic.
### Hypothesis
--
GitLab