Fix earlier termination plugin fix

viperproject / silver

Definition of the Viper intermediate verification language.

Mozilla Public License 2.0

79 stars 43 forks source link

Closed marcoeilers closed 11 months ago

marcoeilers commented 11 months ago

@jcp19 found an issue with the fix in #754. This PR fixes that issue.