Fix pattern matching: pop optionals.

Mathics3 · Nov 19, 2024 · 85ad0f5 · 85ad0f5
1 parent bf6a8c0
commit 85ad0f5
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/mathics/core/pattern.py b/mathics/core/pattern.py
@@ -757,6 +757,8 @@ def match_expression_with_one_identity(
     del parms["attributes"]
     assert new_pattern is not None
     new_pattern.match(expression=expression, pattern_context=parms)
+    for optional in optionals:
+        vars_dict.pop(optional)
 
 
 def basic_match_expression(