diff options
Diffstat (limited to 'src/tests/prime_sieve')
| -rw-r--r-- | src/tests/prime_sieve/src/types.pr.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tests/prime_sieve/src/types.pr.rs b/src/tests/prime_sieve/src/types.pr.rs index a7f04bf..daa9a82 100644 --- a/src/tests/prime_sieve/src/types.pr.rs +++ b/src/tests/prime_sieve/src/types.pr.rs @@ -1,6 +1,6 @@ /*SPEC* property lifo<T> { - \c <: (Stack) -> (forall \x -> ((equal? (pop ((push c) x))) x)) + \c <: (Stack) -> (forall \x -> ((equal? (op-pop ((op-push c) x))) x)) } property ascending<T> { |