add spaces

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]. *)