fixup return value

Daniel Kroening · Daniel Kroening · commit 9f9f30d4de0e · 2017-09-18T20:59:47.000+01:00
diff --git a/src/goto-programs/initialize_goto_model.cpp b/src/goto-programs/initialize_goto_model.cpp
@@ -142,9 +142,7 @@ bool initialize_goto_model(
         goto_model.goto_functions);
 
       if(start_function_rebuilder(function_id))
-      {
-        return 6;
-      }
+        return true;
     }
 
     msg.status() << "Generating GOTO Program" << messaget::eom;

Original file line number	Diff line number	Diff line change
`@@ -142,9 +142,7 @@ bool initialize_goto_model(`
`142`	`142`	`goto_model.goto_functions);`
`143`	`143`
`144`	`144`	`if(start_function_rebuilder(function_id))`
`145`		`- {`
`146`		`- return 6;`
`147`		`- }`
	`145`	`+ return true;`
`148`	`146`	`}`
`149`	`147`
`150`	`148`	`msg.status() << "Generating GOTO Program" << messaget::eom;`