removed a duplicated bug
removed a duplicated bug

jacekburys/csmith,Panos90/csmith,Panos90/csmith,DmitryOlshansky/dsmith,natgla/csmith,DmitryOlshansky/dsmith,DmitryOlshansky/dsmith,DmitryOlshansky/dsmith,natgla/csmith,jacekburys/csmith,jacekburys/csmith,jacekburys/csmith,natgla/csmith,Panos90/csmith,natgla/csmith,jacekburys/csmith,Panos90/csmith