Fix broken comment frame

peterschrammel · tautschnig · commit 58a102ea0275 · 2018-06-06T12:34:03.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`