From f7ee9ed18ef6d349a9553c08d409a8a4b6bc744d Mon Sep 17 00:00:00 2001
From: Alexandre GBAGUIDI AISSE <gbagui_a@epita.fr>
Date: Thu, 16 Nov 2017 02:14:18 +0100
Subject: [PATCH] hierarchy: Fix #303

* spot/tl/hierarchy.cc: code was actually reachable.
---
 spot/tl/hierarchy.cc | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/spot/tl/hierarchy.cc b/spot/tl/hierarchy.cc
index 72e40ba34..23ae83075 100644
--- a/spot/tl/hierarchy.cc
+++ b/spot/tl/hierarchy.cc
@@ -119,7 +119,10 @@ namespace spot
               SPOT_UNREACHABLE();
           }
         else
-          SPOT_UNREACHABLE();
+          {
+            throw std::runtime_error("invalid value for SPOT_PR_CHECK "
+                                     "(should be 1 or 2)");
+          }
       }
     else
       return algo;