From ed17de56d2433dbdfd11cca03f78ea8a47adb98e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 14 Aug 2024 08:51:20 -0700
Subject: [PATCH] fix #7343

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/opt/opt_parse.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/opt/opt_parse.cpp b/src/opt/opt_parse.cpp
index 29e8a604c0b..78ce8bd8503 100644
--- 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 (ch() == *t) {
+    while (*t && ch() == *t) {
         next();
         ++t;
     }