Fixed tests

marvinborner · May 17, 2024 · 001e80a · 001e80a
1 parent 8044eb9
commit 001e80a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/samples/fun/goldbach.bruijn b/samples/fun/goldbach.bruijn
@@ -1,4 +1,5 @@
 # Tromp's version, will reduce to [0] iff Goldbach conjecture is false
+
 :import std/Combinator .
 
 zero [[1]]

diff --git a/samples/fun/huge.bruijn b/samples/fun/huge.bruijn
@@ -2,7 +2,7 @@
 # some of the fastest growing functions per blc length
 
 # 55 bits inflating to 65536 bits, John Tromp
-huge-55 [[0 0 0 0 [[0 [[0]] 1]]] (+2u)
+huge-55 [[0 0 0 0 [[0 [[0]] 1]]] (+2u)]
 
 # 64 bits inflating to ??? bits, John Tromp
 huge-64 [0 0 h 0 0 0] (+2u)