Fix loading of closed proofs (GUI threw error) - Githubissues

KeYProject / key

KeY Theorem Prover for Deductive Java Verification

https://key-project.org

Other

42 stars 24 forks source link

Fix loading of closed proofs (GUI threw error) #3479

Closed unp1 closed 1 month ago

unp1 commented 1 month ago

Intended Change

Fix a bug that caused the GUI to throw an exception when loading a closed proof.

Type of pull request

Bug fix (non-breaking change which fixes an issue)

Ensuring quality

I have tested the feature as follows: Load the proof key.ui/examples/heap/verifyThis15_2_ParallelGcd/parallelGcd.proof

Additional information and contact(s)

The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.