* reader.c (copy_at): New function.

[bison.git] / src / getargs.c

diff --git a/src/getargs.c b/src/getargs.c
index 35cac38f2913740b674cbabcbfaa0e63ba061fe7..ee1a03a7ea8bb8f011d68375f8c48269ac6be178 100644 (file)
--- a/src/getargs.c
+++ b/src/getargs.c
@@ -15,7 +15,8 @@ GNU General Public License for more details.
 
 You should have received a copy of the GNU General Public License
 along with Bison; see the file COPYING.  If not, write to
 
 You should have received a copy of the GNU General Public License
 along with Bison; see the file COPYING.  If not, write to

-the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
+the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
+Boston, MA 02111-1307, USA.  */

 
 
 #include <stdio.h>
 
 
 #include <stdio.h>


@@ -38,7 +39,6 @@ void usage PARAMS((FILE *));
 void getargs PARAMS((int, char *[]));
 
 extern char *program_name;
 void getargs PARAMS((int, char *[]));
 
 extern char *program_name;

-extern char *version_string;

 
 extern void warns PARAMS((char *, char *));    /* main.c */
 
 
 extern void warns PARAMS((char *, char *));    /* main.c */
 


@@ -107,7 +107,7 @@ getargs (int argc, char *argv[])
          exit (0);
 
        case 'V':
          exit (0);
 
        case 'V':

-         printf ("%s", version_string);
+         printf ("%s\n", VERSION_STRING);

          exit (0);
          
        case 'v':
          exit (0);
          
        case 'v':