Minor improve

cvc5 · Feb 12, 2025 · 251ed87 · 251ed87
1 parent 6a3201b
commit 251ed87
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/state.cpp b/src/state.cpp
@@ -246,7 +246,7 @@ void State::popScope()
       its->second = tmp;
       if (ov.size()==1)
       {
-        ov.clear();
+        d_overloads.erase(d_decls[i]);
       }
       continue;
     }