From 188bc435766fb19b88e4c005a1b69593c053e7cc Mon Sep 17 00:00:00 2001 From: Adrien Vannson Date: Tue, 10 May 2022 14:15:18 +0200 Subject: [PATCH] Modif d'un test --- tests/test01.8pus | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/test01.8pus b/tests/test01.8pus index ebd62d4..7a7c870 100644 --- a/tests/test01.8pus +++ b/tests/test01.8pus @@ -2,4 +2,4 @@ intro f. intro b. intro a. -apply f. +cut B -> C