We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 0e4176d commit 5409f56Copy full SHA for 5409f56
src/java_bytecode/java_entry_point.h
@@ -34,4 +34,4 @@ main_function_resultt get_main_symbol(
34
message_handlert &,
35
bool allow_no_body=false);
36
37
-#endif
+#endif // CPROVER_JAVA_BYTECODE_JAVA_ENTRY_POINT_H
0 commit comments