diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2010-09-30 05:01:33 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2010-09-30 05:01:33 +0000 |
| commit | c641cc2e5dee453f6098ff5cc85b0e3464ba0886 (patch) | |
| tree | 80f7c3d32e3faf4053380a22bbde564665ca99eb /lib/Module/InstructionInfoTable.cpp | |
| parent | e69a71a164be39baef2a4d3e450c733fd4c7868a (diff) | |
| download | klee-c641cc2e5dee453f6098ff5cc85b0e3464ba0886.tar.gz | |
Spell versioning macros correctly.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@115140 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Module/InstructionInfoTable.cpp')
| -rw-r--r-- | lib/Module/InstructionInfoTable.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Module/InstructionInfoTable.cpp b/lib/Module/InstructionInfoTable.cpp index 0a96643c..390451f5 100644 --- a/lib/Module/InstructionInfoTable.cpp +++ b/lib/Module/InstructionInfoTable.cpp @@ -15,7 +15,7 @@ #include "llvm/IntrinsicInst.h" #include "llvm/Linker.h" #include "llvm/Module.h" -#if (LLVM_MAJOR_VERSION == 2 && LLVM_MINOR_VERSION < 8) +#if (LLVM_VERSION_MAJOR == 2 && LLVM_VERSION_MINOR < 8) #include "llvm/Assembly/AsmAnnotationWriter.h" #else #include "llvm/Assembly/AssemblyAnnotationWriter.h" @@ -37,7 +37,7 @@ using namespace klee; class InstructionToLineAnnotator : public llvm::AssemblyAnnotationWriter { public: -#if (LLVM_MAJOR_VERSION == 2 && LLVM_MINOR_VERSION < 8) +#if (LLVM_VERSION_MAJOR == 2 && LLVM_VERSION_MINOR < 8) void emitInstructionAnnot(const Instruction *i, llvm::raw_ostream &os) { #else void emitInstructionAnnot(const Instruction *i, |