Improved stream diagnostics for terminal

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

source/Diagnostics.Mod

@@ -178,7 +178,7 @@ BEGIN
 	w.Char(Tab);
 	IF (source # "") THEN w.String (source); END;
 	IF (position # Invalid) THEN w.Char ('@'); w.Int(position, 0); END;
-	w.Char(Tab);
+	w.String(": ");
 	IF (type = TypeWarning) THEN
 		w.String("warning");
 	ELSIF (type = TypeError) THEN