We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 8402d50 commit 2b2893dCopy full SHA for 2b2893d
src/goto-harness/function_call_harness_generator.h
@@ -6,8 +6,8 @@ Author: Diffblue Ltd.
6
7
\******************************************************************/
8
9
-#ifndef CPROVER_GOTO_HARNESS_FUNCTION_HARNESS_GENERATOR_H
10
-#define CPROVER_GOTO_HARNESS_FUNCTION_HARNESS_GENERATOR_H
+#ifndef CPROVER_GOTO_HARNESS_FUNCTION_CALL_HARNESS_GENERATOR_H
+#define CPROVER_GOTO_HARNESS_FUNCTION_CALL_HARNESS_GENERATOR_H
11
12
#include <memory>
13
#include <string>
@@ -36,4 +36,4 @@ class function_call_harness_generatort : public goto_harness_generatort
36
std::unique_ptr<implt> p_impl;
37
};
38
39
-#endif // CPROVER_GOTO_HARNESS_FUNCTION_HARNESS_GENERATOR_H
+#endif // CPROVER_GOTO_HARNESS_FUNCTION_CALL_HARNESS_GENERATOR_H
0 commit comments