Port instantiations

restructuring/analysis/basic_facts/ideal_schedule.v

@@ -4,8 +4,9 @@ From rt.restructuring.model.processor Require Import ideal platform_properties.
 
 (* In this section we estlish the classes to which an ideal schedule belongs. *)
 Section ScheduleClass.
+
   (* Consider any job type and the ideal processor model. *)
-  Context {Job: JobType}.
+  Context {Job : JobType}.
 
   (* We note that the ideal processor model is indeed a uniprocessor
      model. *)