typo in wp output: "interruped"-->"interrupted" (#753) · Issues · pub / frama-c