Fix indentation in convert_nondet

reuk · reuk · commit d15d84238d49 · 2017-04-27T10:39:23.000+01:00
diff --git a/src/goto-programs/convert_nondet.cpp b/src/goto-programs/convert_nondet.cpp
@@ -132,7 +132,7 @@ static void convert_nondet(
 {
   for(auto instruction_iterator=goto_program.instructions.begin(),
         end=goto_program.instructions.end();
-        instruction_iterator!=end;)
+      instruction_iterator!=end;)
   {
     instruction_iterator=insert_nondet_init_code(
       goto_program,

Original file line number	Diff line number	Diff line change
`@@ -132,7 +132,7 @@ static void convert_nondet(`
`132`	`132`	`{`
`133`	`133`	`for(auto instruction_iterator=goto_program.instructions.begin(),`
`134`	`134`	`end=goto_program.instructions.end();`
`135`		`- instruction_iterator!=end;)`
	`135`	`+ instruction_iterator!=end;)`
`136`	`136`	`{`
`137`	`137`	`instruction_iterator=insert_nondet_init_code(`
`138`	`138`	`goto_program,`