Jonas, Thanks for the patch! - Yang
Jonas Wagner wrote:
Hi,I checked out the current creduce version from Git today. It needed a few small tweaks to compile with LLVM 3.2 (actually, the google stable branch of LLVM 3.2: https://llvm.org/svn/llvm-project/llvm/branches/google/stable/).I have attached the patch, in the hope that this will be useful for others.Best, Jonas PS: thanks for creduce... it helped me find a number of bugs already.
