tree e23cf4498a6abe4e64d48c4fa77e0e5f7293bb1a
parent d40932a528b3d57d894b4955bd1cbc9a8fc85e71
author David Pursehouse <david.pursehouse@sonymobile.com> 1426490627 +0900
committer David Pursehouse <david.pursehouse@sonymobile.com> 1426662079 +0900

Add implementation of hashCode in VariableTerm

The class implements equals() so it should also implement hashCode().

Change-Id: Iea1a9dc9fdd480205f8ba0eb2e60a45f555acf91