Commit 34dc35ca authored by jonathan julou's avatar jonathan julou

oopsie woopsie

parent 5f4d4e8f
Pipeline #18908 failed with stages
in 42 seconds
......@@ -11,7 +11,7 @@ From rt.restructuring.analysis Require Export periodic_jitter_propagation_up_to_
From rt.restructuring.model Require Export task_cost.
Set Bullet Behavior "Strict Subproofs".
(*
Section Analysis.
(*========================================================================*)
(* --- I --- CONTEXT AND VARIABLES --- I --- *)
......@@ -130,4 +130,4 @@ Section Analysis.
Qed.
End Analysis.
\ No newline at end of file
End Analysis.*)
\ No newline at end of file
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment