Update src/lookup.cpp

Fixed the grammar of cnf-lookup output.