klee/klee — pull request #124 by pcc (2014-05-02 18:09:06+00:00)
Title: Fix the logic in ExprSMTLIBPrinter::getSort

This now corresponds to the sorts of the operations we emit, as far as I
can tell.