Drop unneeded pragma
Drop unneeded pragma

paulolieuthier/criterion,iu-parfunc/criterion,paulolieuthier/criterion,bos/criterion,bos/criterion,rrnewton/criterion,bos/criterion,iu-parfunc/criterion,paulolieuthier/criterion,osa1/criterion,bgamari/criterion,rrnewton/criterion,rrnewton/criterion,bgamari/criterion,osa1/criterion,iu-parfunc/criterion,bgamari/criterion