make comment // not /*

polgreen · polgreen · commit 8c7dc1789f65 · 2018-07-24T10:48:03.000+02:00
diff --git a/src/goto-instrument/aggressive_slicer.h b/src/goto-instrument/aggressive_slicer.h
@@ -107,4 +107,4 @@ class aggressive_slicert
 
 // clang-format on
 
-#endif /* CPROVER_GOTO_INSTRUMENT_AGGRESSIVE_SLICER_H  */
+#endif // CPROVER_GOTO_INSTRUMENT_AGGRESSIVE_SLICER_H

Original file line number	Diff line number	Diff line change
`@@ -107,4 +107,4 @@ class aggressive_slicert`
`107`	`107`
`108`	`108`	`// clang-format on`
`109`	`109`
`110`		`-#endif /* CPROVER_GOTO_INSTRUMENT_AGGRESSIVE_SLICER_H */`
	`110`	`+#endif // CPROVER_GOTO_INSTRUMENT_AGGRESSIVE_SLICER_H`