Change one example

DeepSec-prover · Jan 20, 2020 · b5b0ff4 · b5b0ff4
1 parent 1480d69
commit b5b0ff4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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).