*** /home/sean/src/hugs98-Dec2001/src/hugs.c~	Thu Dec 13 22:47:30 2001
--- /home/sean/src/hugs98-Dec2001/src/hugs.c	Sun May  5 19:06:02 2002
***************
*** 373,379 ****
  { GVarname line  = "";
    int      linep = 0;
  
!   char c;
        
    while ( (c=fgetc(f)) != EOF && c != '\n') {     /* read HUGSFLAGS          */
      if ((c != '\t') && (c != '\r')) {             /* skip some control chars */
--- 373,379 ----
  { GVarname line  = "";
    int      linep = 0;
  
!   int c;
        
    while ( (c=fgetc(f)) != EOF && c != '\n') {     /* read HUGSFLAGS          */
      if ((c != '\t') && (c != '\r')) {             /* skip some control chars */
*** /home/sean/src/hugs98-Dec2001/src/input.c~	Wed Dec 12 21:25:55 2001
--- /home/sean/src/hugs98-Dec2001/src/input.c	Sun May  5 19:03:37 2002
***************
*** 512,520 ****
  static Int local nextLine()
  {
      for (lineLength = 0; lineLength < LINEBUFFER_SIZE-1; lineLength++) {
!         lineBuffer[lineLength] = fgetc(inputStream);
!         if (lineBuffer[lineLength] == EOF)
!             break;
  #if MULTI_LINEFEED
          if (lineBuffer[lineLength] == '\r') {
              char c = fgetc(inputStream);
--- 512,521 ----
  static Int local nextLine()
  {
      for (lineLength = 0; lineLength < LINEBUFFER_SIZE-1; lineLength++) {
! 	int c = fgetc(inputStream);
! 	if (c == EOF)
! 	    break;
!         lineBuffer[lineLength] = (unsigned char)c;
  #if MULTI_LINEFEED
          if (lineBuffer[lineLength] == '\r') {
              char c = fgetc(inputStream);