git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@6474 8c9fc860-2736-0410-a75d-ab315db34111
@@ -128,6 +128,7 @@ TYPE
log.String("compiling ");
IF source # "" THEN log.String(source); log.String(" => "); END;
log.String(message); log.Ln;
+ log.Update;
END;
END FinalMessage;