Adption for recent change to Streams.Mod

Note that Streams.Stream.Real needs improvement: Streams.Ten is unefficient and Streams.Real misses some features

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

source/DataIO.Mod

@@ -128,12 +128,6 @@ TYPE
 			IF ReaderAvailable() THEN NbrRat.Load( SELF, x ) ELSE HALT( 1000 ) END
 		END Rational;
 
-	(** Reads a real number. *)
-		PROCEDURE Real*( VAR x: NbrRe.Real );
-		BEGIN
-			IF ReaderAvailable() THEN NbrRe.Load( SELF, x ) ELSE HALT( 1000 ) END
-		END Real;
-
 	(** Reads a complex number. *)
 		PROCEDURE Complex*( VAR x: NbrCplx.Complex );
 		BEGIN