Fix bug with parsing quantifier names with !

viperproject · Feb 6, 2025 · 33697d9 · 33697d9
1 parent a26b935
commit 33697d9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 })
     }
 }