diff --git a/testsuite/compiler/check/abstract-operations/abstract-operations.gfs b/testsuite/compiler/check/abstract-operations/abstract-operations.gfs
index aba4aaf22..085b2b913 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
-gt -cat=Nat -number=10 -depth=10
+gt -cat=Nat -number=11 -depth=10
 pt -compute (twice (succ zero))
diff --git a/testsuite/compiler/check/abstract-operations/abstract-operations.gfs.gold b/testsuite/compiler/check/abstract-operations/abstract-operations.gfs.gold
index c0a36cff0..2b1a1b406 100644
--- a/testsuite/compiler/check/abstract-operations/abstract-operations.gfs.gold
+++ b/testsuite/compiler/check/abstract-operations/abstract-operations.gfs.gold
@@ -1,13 +1,14 @@
-zero
-succ zero
-succ (succ zero)
-succ (succ (succ zero))
-succ (succ (succ (succ zero)))
-succ (succ (succ (succ (succ zero))))
-succ (succ (succ (succ (succ (succ zero)))))
-succ (succ (succ (succ (succ (succ (succ zero))))))
-succ (succ (succ (succ (succ (succ (succ (succ zero)))))))
-succ (succ (succ (succ (succ (succ (succ (succ (succ zero))))))))
-
-succ (succ zero)
-
+succ (succ (succ (succ (succ (succ (succ (succ (succ (succ zero)))))))))
+succ (succ (succ (succ (succ (succ (succ (succ (succ zero))))))))
+succ (succ (succ (succ (succ (succ (succ (succ zero)))))))
+succ (succ (succ (succ (succ (succ (succ zero))))))
+succ (succ (succ (succ (succ (succ zero)))))
+succ (succ (succ (succ (succ zero))))
+succ (succ (succ (succ zero)))
+succ (succ (succ zero))
+succ (succ zero)
+succ zero
+zero
+
+succ (succ zero)
+