Merge pull request #3595 from timsat:error_messages
authorVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Thu, 15 Jan 2015 11:24:53 +0000 (11:24 +0000)
committerVadim Pisarevsky <vadim.pisarevsky@gmail.com>
Thu, 15 Jan 2015 11:24:53 +0000 (11:24 +0000)
commitbd6ad79759d6985cd70cf5f4601dca9b00bf7ec1
tree8692e61dcdb8f3c2ae55a26de4bc20382e848e0a
parentce5e2697cb12eea4770cb9034bb63fddef7f8628
parent4762728fd598923f7ba4f36899fc79e22c7a5199
Merge pull request #3595 from timsat:error_messages