whitespace in front of {

mgudemann · Daniel Kroening · commit 0230b0d09d89 · 2017-02-08T20:35:39.000Z
diff --git a/src/java_bytecode/java_bytecode_parser.cpp b/src/java_bytecode/java_bytecode_parser.cpp
@@ -352,7 +352,7 @@ void java_bytecode_parsert::get_class_refs()
       }
       break;
 
-    default:{}
+    default: {}
     }
   }
 

Original file line number	Diff line number	Diff line change
`@@ -352,7 +352,7 @@ void java_bytecode_parsert::get_class_refs()`
`352`	`352`	`}`
`353`	`353`	`break;`
`354`	`354`
`355`		`- default:{}`
	`355`	`+ default: {}`
`356`	`356`	`}`
`357`	`357`	`}`
`358`	`358`