From d451f1ba72cd11c40fa5fc60ffc12ebdf94240bc Mon Sep 17 00:00:00 2001
From: Adrien Vannson <adrien.vannson@protonmail.com>
Date: Tue, 10 May 2022 15:13:03 +0200
Subject: [PATCH] Test 1

---
 tests/test01.8pus | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/tests/test01.8pus b/tests/test01.8pus
index 7a7c870..dedb199 100644
--- a/tests/test01.8pus
+++ b/tests/test01.8pus
@@ -2,4 +2,9 @@
 intro f.
 intro b.
 intro a.
-cut B -> C
+cut B -> C.
+intro g.
+apply g.
+assumption.
+apply f.
+assumption.