(1) Byl-li na základě právního předpisu, který byl zrušen, vydán soudem v trestním řízení rozsudek, který nabyl právní moci, ale nebyl dosud vykonán, je zrušení takového právního předpisu důvodem pro obnovu řízení podle ustanovení zákona o trestním řízení soudním.