From 33697d97bbb594b019616a8e6d2e3489a57d18b2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jon=C3=A1=C5=A1=20Fiala?= <jonas.fiala@inf.ethz.ch>
Date: Thu, 6 Feb 2025 08:29:33 +0100
Subject: [PATCH] Fix bug with parsing quantifier names with `!`

---
 smt-log-parser/src/items/quant.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/smt-log-parser/src/items/quant.rs b/smt-log-parser/src/items/quant.rs
index 89026974..2f49cec8 100644
--- a/smt-log-parser/src/items/quant.rs
+++ b/smt-log-parser/src/items/quant.rs
@@ -95,7 +95,7 @@ impl<'a> QuantKindParse<'a> {
         split
             .next()
             .and_then(|id| id.parse::<usize>().ok())
-            .map_or(Self::Named(name), |id| Self::Unnamed { name, id })
+            .map_or(Self::Named(value), |id| Self::Unnamed { name, id })
     }
 }