gsmendoza/verified_double — pull request #33 by tgxworld (2014-03-03 23:38:54+00:00)
Title: Better error handling for contract description.

This fixes https://github.com/gsmendoza/verified_double/issues/32