(1) Byl-li na základě právního předpisu, který pozbyl účinnosti ve smyslu čl. 3 ústavního zákona, vydán soudem v trestním řízení rozsudek, který nabyl právní moci, nebyl však dosud vykonán, je pozbytí účinnosti takového právního předpisu důvodem obnovy řízení podle ustanovení trestního řádu.