ccadar/klee — pull request #48 by 251 (2013-10-21 12:59:17+00:00)
Title: fix whitespaces

Many files use mixed (tab/space) indentation and contain redundant whitespaces. I removed trailing whitespaces and changed indentation to the most common pattern in KLEE (two spaces per indentation level). I left out runtime/klee-libc/*.c.