making emitConstraintSolution() static
Merge branch 'dev/prolog' of https://github.com/hanm/clang into dev/prolog