Fix broken comment frame

NathanJPhillips · Jun 6, 2018 · 402b29b · 402b29b
1 parent 8480d96
commit 402b29b
Showing 1 changed file with 1 addition and 1 deletion.
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