ccadar/klee — pull request #89 by msoos (2014-01-10 15:07:05+00:00)
Title: Fix get_sign tutorial

This should fix the tutorial about get_sign