commit | 6c51561349bc56dad17701aa6be7a3dd986c48a9 | [log] [tgz] |
---|---|---|
author | Rich Geldreich <richgel99@gmail.com> | Tue May 26 00:39:00 2020 -0400 |
committer | GitHub <noreply@github.com> | Tue May 26 00:39:00 2020 -0400 |
tree | 766627a43e234b6faa088fda518adf46dc525914 | |
parent | 3f0c27ea3612f9ace3f5ebc0aabe432353de84b6 [diff] |
Update basis_spec.txt
diff --git a/spec/basis_spec.txt b/spec/basis_spec.txt index 9134d72..b72a29a 100644 --- a/spec/basis_spec.txt +++ b/spec/basis_spec.txt
@@ -800,7 +800,7 @@ // Compute the history buffer index int history_buf_index = selector_sym - (int)selectors.size(); - if (history_buf_index < selector_history_buf.size()); + assert(history_buf_index < selector_history_buf.size()); // Access the history buffer selector_index = selector_history_buf[history_buf_index];