modified:   cloud9_proj.xcodeproj/project.pbxproj
	modified:   configure
	modified:   include/klee/Searcher.h
	modified:   lib/Core/Searcher.cpp
	modified:   lib/Core/UserSearcher.cpp