From 2bd08d956a58c87d6beb5e347f12cfba5a53f042 Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Wed, 14 Mar 2018 15:14:10 +0100
Subject: [PATCH] mc: please Werror=noexcept

* spot/mc/intersect.hh: here.
---
 spot/mc/intersect.hh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/spot/mc/intersect.hh b/spot/mc/intersect.hh
index b47853812..d7219068b 100644
--- a/spot/mc/intersect.hh
+++ b/spot/mc/intersect.hh
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2015, 2016 Laboratoire de Recherche et
+// Copyright (C) 2015, 2016, 2018 Laboratoire de Recherche et
 // Developpement de l'Epita
 //
 // This file is part of Spot, a model checking library.
@@ -240,7 +240,7 @@ namespace spot
     struct product_state_hash
     {
       size_t
-      operator()(const product_state that) const
+      operator()(const product_state that) const noexcept
       {
         // FIXME! wang32_hash(that.st_prop) could have
         // been pre-calculated!