git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@7086 8c9fc860-2736-0410-a75d-ab315db34111
@@ -6,7 +6,7 @@ IMPORT S := SYSTEM, Trace, Unix, Glue;
CONST
DefaultConfig = "Color 0 StackSize 128";
- Version = "Aos (rev.6640)";
+ Version = "Aos (rev.7086)";
DefaultObjectFileExtension* = ".Obj";