From b5b0ff411116e86b23f576a7ee82ce9762d8b37d Mon Sep 17 00:00:00 2001 From: Vincent Cheval Date: Mon, 20 Jan 2020 17:26:23 +0100 Subject: [PATCH] Change one example --- Examples/toys_and_tests/trace_equivalence/history_skeletons.dps | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Examples/toys_and_tests/trace_equivalence/history_skeletons.dps b/Examples/toys_and_tests/trace_equivalence/history_skeletons.dps index d3ab642..8cfa1de 100644 --- a/Examples/toys_and_tests/trace_equivalence/history_skeletons.dps +++ b/Examples/toys_and_tests/trace_equivalence/history_skeletons.dps @@ -4,6 +4,6 @@ fun sign/2. fun vk/1. reduc check(sign(x,y),vk(y)) -> x. -let P_1 = !^10 new a; new b; new k; out(c,a); out(c,b); out(c,vk(k)); out(c,sign(a,k)). +let P_1 = !^4 new a; new b; new k; out(c,a); out(c,b); out(c,vk(k)); out(c,sign(a,k)). query trace_equiv(P_1,P_1).