msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

testsuite: use forward slashes in paths

Browse Source
This commit is contained in:
hallgren
2013-12-03 16:59:33 +00:00
parent 938587c159
commit 9118f72fda
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
testsuite/compiler/check/abstract-operations/abstract-operations.gfs
View File

@@ -1,5 +1,5 @@
-- here we test that the abstract operations are not used for proof search -- 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 gt -cat=Nat -number=10 -depth=10
pt -compute (twice (succ zero)) pt -compute (twice (succ zero))