Minor fix for OneOf on std::vector.

2018-09-28 11:12:06 -07:00
parent 400d826b0a
commit fd0acedf8b
1 changed files with 1 additions and 1 deletions
--- 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)];
 }