give sort to the generated var

runtimeverification · Jan 23, 2025 · 8fceb90 · 8fceb90
1 parent bbc7fe6
commit 8fceb90
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pyk/src/tests/integration/proof/test_refute_node.py b/pyk/src/tests/integration/proof/test_refute_node.py
@@ -295,7 +295,7 @@ def test_apr_proof_refute_node_to_claim(
         expected = KClaim(
             body=KRewrite(KApply('_<=Int_', KVariable('N', 'Int'), KToken('0', 'Int')), KToken('false', 'Bool')),
             requires=KApply(
-                '_<=Int_', KApply('_+Int_', KVariable('_L', None), KVariable('N', 'Int')), KToken('0', 'Int')
+                '_<=Int_', KApply('_+Int_', KVariable('_L', 'Int'), KVariable('N', 'Int')), KToken('0', 'Int')
             ),
             att=KAtt(entries=[Atts.LABEL('refute-node-claim')]),
         )