From c41acce9b721ab886446ca37359ee0b2611b1b11 Mon Sep 17 00:00:00 2001
From: Chris Smowton <chris@smowton.net>
Date: Mon, 2 Oct 2017 15:19:48 +0100
Subject: [PATCH] Set opaque stub generation in initialize-goto-model

This mirrors existing code in now-redundant language_uit
---
 src/goto-programs/initialize_goto_model.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/goto-programs/initialize_goto_model.cpp b/src/goto-programs/initialize_goto_model.cpp
index 1c434cfef8e..cf3bba9bc62 100644
--- a/src/goto-programs/initialize_goto_model.cpp
+++ b/src/goto-programs/initialize_goto_model.cpp
@@ -117,6 +117,10 @@ bool initialize_goto_model(
 
       if(binaries.empty())
       {
+        // Enable/disable stub generation for opaque methods
+        bool stubs_enabled=cmdline.isset("generate-opaque-stubs");
+        language_files.set_should_generate_opaque_method_stubs(stubs_enabled);
+
         if(language_files.final(goto_model.symbol_table))
         {
           msg.error() << "CONVERSION ERROR" << messaget::eom;