Index: mttroot/mtt/cc/parse_m2cc.cc
==================================================================
--- mttroot/mtt/cc/parse_m2cc.cc
+++ mttroot/mtt/cc/parse_m2cc.cc
@@ -1,7 +1,10 @@
 /* $Id$
  * $Log$
+ * Revision 1.1  2000/12/28 09:46:05  peterg
+ * put under RCS
+ *
  * Revision 1.1  2000/10/31 04:29:50  geraint
  * Initial revision
  *
  */
 
@@ -199,15 +202,13 @@
    * get remainder of line in case there are any commented keywords
    */
   char c;
   cout << " // ";
   cin >> c;
-  while (c != '\n' && c != EOF)
-    {
-      cout << c;
-      cin >> c;
-    }
+  do {
+    cout << c;
+  } while (c != '\n' && cin >> c);
   cout << endl
        << indent () << ';' << endl
        << indent ();
 }