Flush spurious ^Z at the end of the file.

diff --git a/v7/src/microcode/dosint10.c b/v7/src/microcode/dosint10.c
index 5e000125c9bace33da9b9788c36b610ae6f79335..d5ce06701e4fc3832af1ae901f201e560e5ded17 100644 (file)
--- a/v7/src/microcode/dosint10.c
+++ b/v7/src/microcode/dosint10.c
@@ -1,8 +1,8 @@
 /* -*-C-*-
 
-$Id: dosint10.c,v 1.7 1992/10/20 15:31:20 jinx Exp $
+$Id: dosint10.c,v 1.8 1993/06/24 04:25:09 gjr Exp $
 
-Copyright (c) 1992 Massachusetts Institute of Technology
+Copyright (c) 1992-1993 Massachusetts Institute of Technology
 
 This material was developed by the Scheme project at the Massachusetts
 Institute of Technology, Department of Electrical Engineering and
@@ -510,4 +510,3 @@ DEFINE_PRIMITIVE ("BIOS:SET-TEXT-SIZE!", Prim_bios_set_text_size, 2, 2,
   bios__set_text_size (al, bl);
   PRIMITIVE_RETURN (SHARP_T);
 }
-\1a