From fd0acedf8bd779ab712fc542ee62a0cb617dd785 Mon Sep 17 00:00:00 2001
From: Peter Goodman <peter.goodman@gmail.com>
Date: Fri, 28 Sep 2018 11:12:06 -0700
Subject: [PATCH] Minor fix for OneOf on std::vector.

---
 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 460155b..2d8ca64 100644
--- a/src/include/deepstate/DeepState.hpp
+++ b/src/include/deepstate/DeepState.hpp
@@ -351,7 +351,7 @@ inline static const T &OneOf(const std::vector<T> &arr) {
   if (arr.empty()) {
     DeepState_Abandon("Empty vector passed to OneOf.");
   }
-  return arr[DeepState_IntInRange(0, arr.size - 1)];
+  return arr[DeepState_IntInRange(0, arr.size() - 1)];
 }