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