Fix broken comment frame

peterschrammel · tautschnig · commit 402b29ba3d1d · 2018-06-06T15:52:37.000Z
diff --git a/src/goto-programs/goto_convert_functions.cpp b/src/goto-programs/goto_convert_functions.cpp
@@ -1,4 +1,4 @@
-/**** ***************************************************************\
+/********************************************************************\
 
 Module: Goto Programs with Functions
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-/** *************************************************************\`
	`1`	`+/********************************************************************\`
`2`	`2`
`3`	`3`	`Module: Goto Programs with Functions`
`4`	`4`