edited some spaces

Daniel Kroening · Daniel Kroening · commit 7f8e65faa44e · 2016-08-24T17:16:39.000+01:00
diff --git a/src/java_bytecode/java_object_factory.cpp b/src/java_bytecode/java_object_factory.cpp
@@ -112,7 +112,7 @@ void gen_nondet_init(
       if(name=="@class_identifier")
       {
         irep_idt qualified_clsid="java::"+as_string(class_identifier);
-	constant_exprt ci(qualified_clsid,string_typet());
+        constant_exprt ci(qualified_clsid, string_typet());
 
         code_assignt code(me, ci);
         init_code.copy_to_operands(code);

Original file line number	Diff line number	Diff line change
`@@ -112,7 +112,7 @@ void gen_nondet_init(`
`112`	`112`	`if(name=="@class_identifier")`
`113`	`113`	`{`
`114`	`114`	`irep_idt qualified_clsid="java::"+as_string(class_identifier);`
`115`		`- constant_exprt ci(qualified_clsid,string_typet());`
	`115`	`+ constant_exprt ci(qualified_clsid, string_typet());`
`116`	`116`
`117`	`117`	`code_assignt code(me, ci);`
`118`	`118`	`init_code.copy_to_operands(code);`