ccadar/klee — pull request #19 by delcypher (2013-08-21 14:58:42+00:00)
Title: Fix typo.

This fixes a typo in the KQuery documentation.