Fixed operator replacements in WD taclets after changes in PR #3436 - Githubissues

KeYProject / key

KeY Theorem Prover for Deductive Java Verification

https://key-project.org

Other

42 stars 24 forks source link

Fixed operator replacements in WD taclets after changes in PR #3436 #3484

Closed mi-ki closed 2 weeks ago

mi-ki commented 3 weeks ago

Only minor fix to make WD checks work again.

Intended Change

Fixed operator replacements in WD taclets after changes in PR #3436.

Type of pull request

Bug fix (non-breaking change which fixes an issue)
There are changes to the (Java) code

Ensuring quality

I have tested the feature as follows: Execute welldefinedness check for SumAndMax.

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