1 files changed, 5 insertions, 1 deletions
diff --git a/reference_model/include/verify.h b/reference_model/include/verify.h
index e449ff7..36e1d7b 100644
--- a/reference_model/include/verify.h
+++ b/reference_model/include/verify.h
@@ -17,6 +17,8 @@
 // Output Verification : Section 1.8.2
 //
 //===----------------------------------------------------------------------===//
+#ifndef VERIFY_H
+#define VERIFY_H
 
 #include "types.h"
 
@@ -44,4 +46,6 @@ extern "C"
 
 #ifdef __cplusplus
 }
-#endif /* __cplusplus */
-\ No newline at end of file
+#endif /* __cplusplus */
+
+#endif    // VERIFY_H
+\ No newline at end of file