Dehydrogenate the two adjacent methylene carbons in the pyrrolidine ring to install a carbon-carbon double bond.