From 762dd4555d8ae763f94ea7912fc3e55273fb9e4d Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 10 May 2017 17:24:35 +0200
Subject: [PATCH] parseaut: misc cleanups

* spot/parseaut/parseaut.yy: Remove extra ;.
* spot/parseaut/scanaut.ll: Use nullptr instead of 0.
---
 spot/parseaut/parseaut.yy | 2 +-
 spot/parseaut/scanaut.ll  | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/spot/parseaut/parseaut.yy b/spot/parseaut/parseaut.yy
index a3a81f75c..3e1c9874c 100644
--- a/spot/parseaut/parseaut.yy
+++ b/spot/parseaut/parseaut.yy
@@ -2439,7 +2439,7 @@ namespace spot
     if (r.h->aut && !r.h->aut->is_existential())
       r.h->aut->merge_univ_dests();
     return r.h;
-  };
+  }
 
   parsed_aut_ptr
   parse_aut(const std::string& filename, const bdd_dict_ptr& dict,
diff --git a/spot/parseaut/scanaut.ll b/spot/parseaut/scanaut.ll
index 1b7b58286..71db33836 100644
--- a/spot/parseaut/scanaut.ll
+++ b/spot/parseaut/scanaut.ll
@@ -1,5 +1,5 @@
 /* -*- coding: utf-8 -*-
-** Copyright (C) 2014, 2015, 2016 Laboratoire de Recherche et Développement
+** Copyright (C) 2014-2017 Laboratoire de Recherche et Développement
 ** de l'Epita (LRDE).
 **
 ** This file is part of Spot, a model checking library.
@@ -90,7 +90,7 @@ identifier  [[:alpha:]_][[:alnum:]_.-]*
 
 <INITIAL>[0-9]+[ \t][0-9]+[ts]?  {
 	                  BEGIN(in_LBTT_HEADER);
-			  char* end = 0;
+			  char* end = nullptr;
 			  errno = 0;
 			  unsigned long n = strtoul(yytext, &end, 10);
 			  yylval->num = n;