--- researchv10no/cmd/cfront/ooptcfront/doprint.c	2018/04/24 17:21:35	1.1
+++ researchv10no/cmd/cfront/ooptcfront/doprint.c	2018/04/24 17:21:35	1.1.1.1
@@ -16,7 +16,7 @@
  */
 
 /*
-    $Header: /var/lib/cvsd/research/researchv10no/cmd/cfront/ooptcfront/doprint.c,v 1.1 2018/04/24 17:21:35 root Exp $
+    $Header: /var/lib/cvsd/research/researchv10no/cmd/cfront/ooptcfront/doprint.c,v 1.1.1.1 2018/04/24 17:21:35 root Exp $
 
     Copyright (c) 1989 by Object Design, Inc., Burlington, Mass.
     All rights reserved.
@@ -713,15 +713,15 @@ char * printf_to_alloc_string (const cha
 
 
 static char rcssrc[] = "$Source: /var/lib/cvsd/research/researchv10no/cmd/cfront/ooptcfront/doprint.c,v $";
-static char rcsrev[] = "$Revision: 1.1 $";
+static char rcsrev[] = "$Revision: 1.1.1.1 $";
 static char rcsdate[] = "$Date: 2018/04/24 17:21:35 $";
 static char copyright[]="Copyright (c) 1989 by Object Design, Inc., Burlington, Mass.";
 
 
 /*
    $Log: doprint.c,v $
-   Revision 1.1  2018/04/24 17:21:35  root
-   Initial revision
+   Revision 1.1.1.1  2018/04/24 17:21:35  root
+   researchv10 Norman
 
 Revision 1.3  89/09/19  12:00:34  benson
 Fix a bug in printing numbers that sometimes added garbage.