From b86cbf05146a91d2f1571443927492bf1a76d3ae Mon Sep 17 00:00:00 2001
From: Maximilien Colange <colange@lrde.epita.fr>
Date: Fri, 17 Nov 2017 13:52:21 +0100
Subject: [PATCH] Mark bdd_hash as noexcept

* spot/misc/bddlt.hh: do it
---
 spot/misc/bddlt.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spot/misc/bddlt.hh b/spot/misc/bddlt.hh
index 2abc94fee..42fee47ab 100644
--- a/spot/misc/bddlt.hh
+++ b/spot/misc/bddlt.hh
@@ -86,7 +86,7 @@ namespace spot
     public std::unary_function<const bdd&, size_t>
   {
     size_t
-    operator()(const bdd& b) const
+    operator()(const bdd& b) const noexcept
     {
       return b.id();
     }