diff --git a/src/ast/scoped_proof.h b/src/ast/scoped_proof.h
index e37290c03..e23a6d92a 100644
--- a/src/ast/scoped_proof.h
+++ b/src/ast/scoped_proof.h
@@ -17,7 +17,7 @@ Revision History:
 
 --*/
 #ifndef _SCOPED_PROOF__H_
-#define _SCOPED_PROOF_H_
+#define _SCOPED_PROOF__H_
 
 #include "ast.h"