Remove unnecessary immutable flag in tests

Ref. #47, #382
AdaCore · Aug 18, 2020 · 1997539 · 1997539
1 parent d114a11
commit 1997539
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/test_generator.py b/tests/test_generator.py
@@ -189,7 +189,7 @@ def test_substitution_relation_aggregate(
         "Equal",
         [
             expr.Variable("Ctx"),
-            expr.Variable("F_Value", immutable=True),
+            expr.Variable("F_Value"),
             expr.Aggregate(
                 expr.Val(expr.Variable("Types.Byte"), expr.Number(1)),
                 expr.Val(expr.Variable("Types.Byte"), expr.Number(2)),