alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

parseaut: misc cleanups

Browse source 
* spot/parseaut/parseaut.yy: Remove extra ;.
* spot/parseaut/scanaut.ll: Use nullptr instead of 0.
This commit is contained in:
Alexandre Duret-Lutz 2017-05-10 17:24:35 +02:00
parent f07fbbae79
commit 866263ecc6
2 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/parseaut/parseaut.yy
View file

@ -2481,7 +2481,7 @@ namespace spot
if (r.h->aut && !r.h->aut->is_existential()) if (r.h->aut && !r.h->aut->is_existential())
r.h->aut->merge_univ_dests(); r.h->aut->merge_univ_dests();
return r.h; return r.h;
}; }
parsed_aut_ptr parsed_aut_ptr
parse_aut(const std::string& filename, const bdd_dict_ptr& dict, parse_aut(const std::string& filename, const bdd_dict_ptr& dict,

4
spot/parseaut/scanaut.ll
View file

@ -1,5 +1,5 @@
/* -*- coding: utf-8 -*- /* -*- 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). ** de l'Epita (LRDE).
** **
** This file is part of Spot, a model checking library. ** This file is part of Spot, a model checking library.
@ -90,7 +90,7 @@ identifier [[:alpha:]_][[:alnum:]_.-]*
<INITIAL>[0-9]+[ \t][0-9]+[ts]? { <INITIAL>[0-9]+[ \t][0-9]+[ts]? {
BEGIN(in_LBTT_HEADER); BEGIN(in_LBTT_HEADER);
char* end = 0; char* end = nullptr;
errno = 0; errno = 0;
unsigned long n = strtoul(yytext, &end, 10); unsigned long n = strtoul(yytext, &end, 10);
yylval->num = n; yylval->num = n;