git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@7739 8c9fc860-2736-0410-a75d-ab315db34111
@@ -142,7 +142,7 @@ CONST
TYPE
Thread_t* = ADDRESS;
Mutex_t* = ADDRESS;
- MutexType = ARRAY 8 OF ADDRESS;
+ MutexType = ARRAY 5 OF ADDRESS;
MutexAttributeType = ARRAY 1 OF WORD;
Condition_t* = ADDRESS;