Do not create multiple DimValue instances of the same value
authorMichal Sojka <sojkam1@fel.cvut.cz>
Thu, 9 Dec 2010 16:40:12 +0000 (17:40 +0100)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Thu, 9 Dec 2010 16:40:12 +0000 (17:40 +0100)
commit9f7f766a0e3ba735653da76c5564d3d182c12a6c
tree6841f8586bb914219cddeb7dd1775d891734cdf5
parentb892246b98870b63e93f766dc0e3764bf3683163
Do not create multiple DimValue instances of the same value

We want to be able to compare the values for eqvivalence and it is not
possible without this.
gw-tests/genhtml/genhtml.py