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

Remove the const qualifier from the return type of formula::hash(), GCC complains.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2008-06-11 16:57:01 +02:00
parent 0129018b58
commit 9cadc24173
2 changed files with 7 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
ChangeLog
View file

@ -1,3 +1,8 @@
2008-06-11 Alexandre Duret-Lutz <adl@lrde.epita.fr>
* src/internal/formula.hh (formula::hash): Remove the const
qualifier from the return type, GCC 4.3.1 gicomplains.
2008-06-02 Guillaume SADEGH <sadegh@lrde.epita.fr>
Test suite for the NipsVM front-end.

4
src/internal/formula.hh
View file

@ -1,4 +1,4 @@
// Copyright (C) 2003, 2004, 2005 Laboratoire d'Informatique de Paris 6 (LIP6),
// Copyright (C) 2003, 2004, 2005, 2008 Laboratoire d'Informatique de Paris 6 (LIP6),
// département Systèmes Répartis Coopératifs (SRC), Université Pierre
// et Marie Curie.
//
@ -70,7 +70,7 @@ namespace spot
const std::string& dump() const;
/// Return a hash_key for the formula.
const size_t
size_t
hash() const
{
return hash_key_;