fix #7343

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Aug 14, 2024 · 6565455 · 6565455 · RootUp · Sep 11, 2024
1 parent ed17de5
commit 6565455
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/opt/opt_parse.cpp b/src/opt/opt_parse.cpp
@@ -69,7 +69,7 @@ class opt_stream_buffer {
 bool opt_stream_buffer::parse_token(char const* token) {
     skip_whitespace();
     char const* t = token;
-    while (*t && ch() == *t) {
+    while (*t && ch() && ch() == *t) {
         next();
         ++t;
     }