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))