From d1cda2fec253980b22f572ee4f865f867c5a0e37 Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@gmail.com>
Date: Thu, 26 Jul 2018 14:00:20 -0700
Subject: [PATCH] fix off-by-one in range in OneOf

---
 src/include/deepstate/DeepState.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/include/deepstate/DeepState.hpp b/src/include/deepstate/DeepState.hpp
index f5572cd..f607bc8 100644
--- a/src/include/deepstate/DeepState.hpp
+++ b/src/include/deepstate/DeepState.hpp
@@ -329,7 +329,7 @@ template <typename... FuncTys>
 inline static void OneOf(FuncTys&&... funcs) {
   std::function<void(void)> func_arr[sizeof...(FuncTys)] = {funcs...};
   unsigned index = DeepState_UIntInRange(
-      0U, static_cast<unsigned>(sizeof...(funcs)));
+      0U, static_cast<unsigned>(sizeof...(funcs))-1);
   func_arr[Pump(index, sizeof...(funcs))]();
 }