Lighthouse has a new layout. Prefer the old one? Return to the old layout, and switch back any time from the link at the top of each page.

Changeset [7351997bee18c2640ffcf884d1a494fde8219628] by Andre Steingress

Revision 7351997bee18c2640ffcf884d1a494fde8219628, committed by Andre Steingress · March 1st, 2011 @ 02:41 PM

changed internal name for old variable generating method
https://github.com/andresteingress/gcontracts/commit/7351997bee18c2...

1 changed file

  • M gcontracts-core/src/main/java/org/gcontracts/generation/VariableGenerationUtility.java