Changeset [886b27eff16514e7752dc0361a53a16007835634] by Andre Steingress
Revision 886b27eff16514e7752dc0361a53a16007835634,
committed by Andre Steingress
· March 1st, 2011 @ 03:05 PM
moved computation of old variable inside GCONTRACTS_ENABLED
block in if-statements
https://github.com/andresteingress/gcontracts/commit/886b27eff16514...
1 changed file
-
M
gcontracts-core/src/main/java/org/gcontracts/generation/PostconditionGenerator.java