Add #endif comments to gdb api header file

2019-01-24 14:54:23 +00:00 · 2019-01-24 14:54:23 +00:00 · a49c4214c4
parent d44dfb99c9
commit a49c4214c4
1 changed files with 2 additions and 2 deletions
--- a/src/memory-analyzer/gdb_api.h
+++ b/src/memory-analyzer/gdb_api.h
@ -73,5 +73,5 @@ public:
 private:
  std::string reason;
 };
-#endif
-#endif
+#endif // CPROVER_MEMORY_ANALYZER_GDB_API_H
+#endif // __linux__