diff options
| -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 da5cb71fe..aba4aaf22 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 +i testsuite/compiler/check/abstract-operations/Nat.gf gt -cat=Nat -number=10 -depth=10 pt -compute (twice (succ zero)) |