temp2

ArenBabikian · ArenBabikian · commit 5a90993bf1b5 · 2021-04-30T15:37:50.000Z
diff --git a/src/util/ghost_variables.h b/src/util/ghost_variables.h
@@ -8,6 +8,9 @@ Date: April 2021
 
 \*******************************************************************/
 
+#ifndef CPROVER_UTIL_GHOST_VARIABLES_H
+#define CPROVER_UTIL_GHOST_VARIABLES_H
+
 /// \file util/ghost_variables.h
 /// API to expression classes for ghost variables
 
@@ -37,3 +40,4 @@ inline const old_exprt &to_old_expr(const exprt &expr)
   return ret;
 }
 
+#endif // CPROVER_UTIL_GHOST_VARIABLES_H
