Commit 762dd455 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

parseaut: misc cleanups

* spot/parseaut/parseaut.yy: Remove extra ;.
* spot/parseaut/scanaut.ll: Use nullptr instead of 0.
parent aa404823
......@@ -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,
......
/* -*- 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;
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment