Minor

ajreynol · Dec 18, 2024 · 2765368 · 2765368
1 parent e612376
commit 2765368
Showing 1 changed file with 0 additions and 10 deletions.
diff --git a/src/theory/strings/theory_strings_utils.cpp b/src/theory/strings/theory_strings_utils.cpp
@@ -482,16 +482,6 @@ Node mkForallInternal(NodeManager* nm, Node bvl, Node body)
   return quantifiers::BoundedIntegers::mkBoundedForall(nm, bvl, body);
 }
 
-/**
- * Mapping to the variable used for binding the witness term for the abstract
- * value below.
- */
-struct StringValueForLengthVarAttributeId
-{
-};
-typedef expr::Attribute<StringValueForLengthVarAttributeId, Node>
-    StringValueForLengthVarAttribute;
-
 Node mkAbstractStringValueForLength(Node n, Node len, size_t id)
 {
   NodeManager* nm = NodeManager::currentNM();