--- DavideSericoli.04_drop_noargs.output 2015-05-07 23:08:25.737218017 +0200 +++ 04_drop_noargs.out 2015-05-04 16:54:19.954005762 +0200 @@ -1 +1,2 @@ - +EMPTY +EMPTY