Remove stray whitespace in comment header

tautschnig · tautschnig · commit 34106ac49044 · 2022-11-19T23:00:57.000Z
Whitespace cleanup only so as not to break syntax highlighting.
diff --git a/jbmc/src/java_bytecode/java_bmc_util.cpp b/jbmc/src/java_bytecode/java_bmc_util.cpp
@@ -4,7 +4,7 @@ Module: Bounded Model Checking Utils for Java
 
 Author: Daniel Kroening, Peter Schrammel
 
- \*******************************************************************/
+\*******************************************************************/
 
 /// \file
 /// Bounded Model Checking Utils for Java
diff --git a/jbmc/src/java_bytecode/java_bmc_util.h b/jbmc/src/java_bytecode/java_bmc_util.h
@@ -4,7 +4,7 @@ Module: Bounded Model Checking Utils for Java
 
 Author: Daniel Kroening, Peter Schrammel
 
- \*******************************************************************/
+\*******************************************************************/
 
 /// \file
 /// Bounded Model Checking Utils for Java
diff --git a/jbmc/src/java_bytecode/java_multi_path_symex_checker.cpp b/jbmc/src/java_bytecode/java_multi_path_symex_checker.cpp
@@ -4,7 +4,7 @@ Module: Goto Checker using Bounded Model Checking for Java
 
 Author: Jeannie Moulton
 
- \*******************************************************************/
+\*******************************************************************/
 
 #include "java_multi_path_symex_checker.h"
 #include "java_trace_validation.h"
diff --git a/jbmc/src/java_bytecode/java_multi_path_symex_checker.h b/jbmc/src/java_bytecode/java_multi_path_symex_checker.h
@@ -4,7 +4,7 @@ Module: Goto Checker using Bounded Model Checking for Java
 
 Author: Daniel Kroening, Peter Schrammel
 
- \*******************************************************************/
+\*******************************************************************/
 
 /// \file
 /// Goto Checker using Bounded Model Checking for Java
diff --git a/jbmc/src/java_bytecode/java_multi_path_symex_only_checker.h b/jbmc/src/java_bytecode/java_multi_path_symex_only_checker.h
@@ -4,7 +4,7 @@ Module: Goto Checker using Bounded Model Checking for Java
 
 Author: Daniel Kroening, Peter Schrammel
 
- \*******************************************************************/
+\*******************************************************************/
 
 /// \file
 /// Goto Checker using Bounded Model Checking for Java
diff --git a/jbmc/src/java_bytecode/java_single_path_symex_checker.cpp b/jbmc/src/java_bytecode/java_single_path_symex_checker.cpp
@@ -4,7 +4,7 @@ Module: Goto Checker using Single Path Symbolic Execution for Java
 
 Author: Jeannie Moulton
 
- \*******************************************************************/
+\*******************************************************************/
 
 #include "java_single_path_symex_checker.h"
 #include "java_trace_validation.h"
diff --git a/jbmc/src/java_bytecode/java_single_path_symex_checker.h b/jbmc/src/java_bytecode/java_single_path_symex_checker.h
@@ -4,7 +4,7 @@ Module: Goto Checker using Single Path Symbolic Execution for Java
 
 Author: Daniel Kroening, Peter Schrammel
 
- \*******************************************************************/
+\*******************************************************************/
 
 /// \file
 /// Goto Checker using Single Path Symbolic Execution for Java
diff --git a/jbmc/src/java_bytecode/java_single_path_symex_only_checker.h b/jbmc/src/java_bytecode/java_single_path_symex_only_checker.h
@@ -4,7 +4,7 @@ Module: Goto Checker using Single Path Symbolic Execution for Java
 
 Author: Daniel Kroening, Peter Schrammel
 
- \*******************************************************************/
+\*******************************************************************/
 
 /// \file
 /// Goto Checker using Single Path Symbolic Execution for Java
