Fixed Pos()

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

source/Streams64.Mod

@@ -587,7 +587,7 @@ TYPE
 	(** Current read position. *)
 		PROCEDURE Pos*( ): HUGEINT;
 		BEGIN
-			RETURN received - HUGEINT(tail) - HUGEINT(head)
+			RETURN received - (tail - head)
 		END Pos;
 
 		(** -- Read raw binary data -- *)