Finalize 1.7.5 release.

[ginac.git] / ginsh / ginsh_lexer.lpp

diff --git a/ginsh/ginsh_lexer.lpp b/ginsh/ginsh_lexer.lpp
index ec5bc0e9f3fb33b6a16810cd4dba92db0a85cbc6..6f6ea7e602d9021d6cfa776309c044d380d37499 100644 (file)
--- a/ginsh/ginsh_lexer.lpp
+++ b/ginsh/ginsh_lexer.lpp
@@ -4,7 +4,7 @@
  *  This file must be processed with flex. */
 
 /*
- *  GiNaC Copyright (C) 1999-2011 Johannes Gutenberg University Mainz, Germany
+ *  GiNaC Copyright (C) 1999-2019 Johannes Gutenberg University Mainz, Germany
  *
  *  This program is free software; you can redistribute it and/or modify
  *  it under the terms of the GNU General Public License as published by
@@ -26,6 +26,8 @@
  *  Definitions
  */
 
+%option nounput
+
 %pointer
 
 %{
@@ -142,7 +144,7 @@ real_symbols    return T_REAL_SYMBOLS;
  */
 
 static int line_length = 0;
-static char *line_read = NULL;
+static char *line_read = nullptr;
 static char *line_ptr;
 
 // Input function that uses libreadline for interactive input
@@ -206,7 +208,7 @@ static int ginsh_input(char *buf, int max_size)
 
 // List of input files to be processed
 int num_files = 0;
-char **file_list = NULL;
+char **file_list = nullptr;
 
 // EOF encountered, connect to next file. If this was the last file,
 // connect to stdin. If this was stdin, terminate the scanner.
@@ -218,7 +220,7 @@ int yywrap()
        fclose(yyin);
        if (num_files) {
                yyin = fopen(*file_list, "r");
-               if (yyin == NULL) {
+               if (yyin == nullptr) {
                        cerr << "Can't open " << *file_list << endl;
                        return 1;
                }