diff options
| author | hallgren <hallgren@chalmers.se> | 2013-12-03 16:59:33 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-12-03 16:59:33 +0000 |
| commit | 6b3ba6d3ba5548d29e9175835e0ab1f1b17966c1 (patch) | |
| tree | 8f20fbfbf0d5832b75e6afd458d799ddf9f1a3c1 | |
| parent | 2ef28487effc8f51f92810bd326458e0bc6f3e35 (diff) | |
testsuite: use forward slashes in paths
| -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)) |