Removed assertions which fail when awaiting pthread threads

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@8277 8c9fc860-2736-0410-a75d-ab315db34111

source/Unix.Processors.Mod

@@ -23,14 +23,12 @@ PROCEDURE GetCurrentIndex- EXTERN "Activities.GetCurrentProcessorIndex" (): SIZE
 (** A suspended processor must be resumed by a call to the ResumeAnyProcessor procedure. *)
 PROCEDURE SuspendCurrentProcessor-;
 BEGIN {UNCOOPERATIVE, UNCHECKED}
-	ASSERT (count > 1);
 	ASSERT (Unix.sem_wait (ADDRESS OF semaphore) = 0);
 END SuspendCurrentProcessor;
 
 (** Resumes the execution of all suspended processors. *)
 PROCEDURE ResumeAllProcessors-;
 BEGIN {UNCOOPERATIVE, UNCHECKED}
-	ASSERT (count > 1);
 	ASSERT (Unix.sem_post (ADDRESS OF semaphore) = 0);
 END ResumeAllProcessors;