From 001e80ae2571d15973a1e5b9b95975dcf9f005b6 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Fri, 17 May 2024 13:49:22 +0200
Subject: Fixed tests

---
 samples/fun/goldbach.bruijn | 1 +
 samples/fun/huge.bruijn     | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

(limited to 'samples')

diff --git a/samples/fun/goldbach.bruijn b/samples/fun/goldbach.bruijn
index 2592a40..8f2a235 100644
--- 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
index 2f36dc1..974f2ea 100644
--- 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)
-- 
cgit v1.2.3