tree ca842992df476055394d7810129433ad38d3daaa
parent 2276e1c55c2b3515c01f445d547186366d9b3a34
author Nils Diewald <nils@diewald-online.de> 1397145908 +0000
committer Nils Diewald <nils@diewald-online.de> 1397145908 +0000

Improved termRelation error report