From 9118f72fda1a57db9393cdeb914f68927f7b3b11 Mon Sep 17 00:00:00 2001 From: hallgren Date: Tue, 3 Dec 2013 16:59:33 +0000 Subject: [PATCH] testsuite: use forward slashes in paths --- .../compiler/check/abstract-operations/abstract-operations.gfs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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))