--- a/cudd/test_cudd.test.in	2026-05-02 21:53:21.058656887 +0200
+++ b/cudd/test_cudd.test.in	2026-05-02 21:55:05.368466577 +0200
@@ -41,9 +41,6 @@
     mkfifo ./cudd/tst_fifo ./cudd/out_fifo
     OIFS=$IFS
     IFS=:
-    `sed ${sed_command} ./cudd/extra.tst > ./cudd/tst_fifo &\
-     sed ${sed_command} ${srcdir}/cudd/extra.out > ./cudd/out_fifo &\
-     diff -b ./cudd/tst_fifo ./cudd/out_fifo >> ./cudd/differences`
     failed=`expr $? != 0`
     rm ./cudd/tst_fifo ./cudd/out_fifo
     IFS=$OIFS