From 55eae0d8bc6c51fa18c846545baaa9ac73611164 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 15 Dec 2016 11:11:59 +0100
Subject: [PATCH] * spot/twa/twa.hh (twa_succ_iterable): Mark move ctor as
 noexcept.

---
 spot/twa/twa.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spot/twa/twa.hh b/spot/twa/twa.hh
index c3ada782d..e6c7a4889 100644
--- a/spot/twa/twa.hh
+++ b/spot/twa/twa.hh
@@ -533,7 +533,7 @@ namespace spot
       {
       }
 
-      twa_succ_iterable(twa_succ_iterable&& other)
+      twa_succ_iterable(twa_succ_iterable&& other) noexcept
         : aut_(other.aut_), it_(other.it_)
       {
         other.it_ = nullptr;