From 769b2b585bcab0d82b783acf1214f38ccf153724 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Fri, 2 May 2014 16:43:32 +0100
Subject: [PATCH] fixed typo

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 src/ast/scoped_proof.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"