fixup return value

smowton · Sep 18, 2017 · 9f9f30d · 9f9f30d
1 parent bc30987
commit 9f9f30d
Showing 1 changed file with 1 addition and 3 deletions.
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;