2 files changed, 4 insertions, 4 deletions
diff --git a/include/expr/Lexer.h b/include/expr/Lexer.h
index 290d59eb..75dde388 100644
--- a/include/expr/Lexer.h
+++ b/include/expr/Lexer.h
@@ -7,8 +7,8 @@
 //
 //===----------------------------------------------------------------------===//
 
-#ifndef KLEE_EXPR_LEXER_H
-#define KLEE_EXPR_LEXER_H
+#ifndef KLEE_LEXER_H
+#define KLEE_LEXER_H
 
 #include <string>
 
diff --git a/include/expr/Parser.h b/include/expr/Parser.h
index fa07bae2..20e6047f 100644
--- a/include/expr/Parser.h
+++ b/include/expr/Parser.h
@@ -7,8 +7,8 @@
 //
 //===----------------------------------------------------------------------===//
 
-#ifndef KLEE_EXPR_PARSER_H
-#define KLEE_EXPR_PARSER_H
+#ifndef KLEE_PARSER_H
+#define KLEE_PARSER_H
 
 #include "klee/Expr.h"