diff options
Diffstat (limited to 'testsuite/compiler/check/abstract-operations/abstract-operations.gfs')
| -rw-r--r-- | testsuite/compiler/check/abstract-operations/abstract-operations.gfs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/compiler/check/abstract-operations/abstract-operations.gfs b/testsuite/compiler/check/abstract-operations/abstract-operations.gfs index aba4aaf22..085b2b913 100644 --- a/testsuite/compiler/check/abstract-operations/abstract-operations.gfs +++ b/testsuite/compiler/check/abstract-operations/abstract-operations.gfs @@ -1,5 +1,5 @@ -- here we test that the abstract operations are not used for proof search i testsuite/compiler/check/abstract-operations/Nat.gf -gt -cat=Nat -number=10 -depth=10 +gt -cat=Nat -number=11 -depth=10 pt -compute (twice (succ zero)) |