diff --git a/common/kernel/command.cc b/common/kernel/command.cc index 5493173c..04e3537c 100644 --- a/common/kernel/command.cc +++ b/common/kernel/command.cc @@ -611,7 +611,7 @@ int CommandHandler::executeMain(std::unique_ptr ctx) if (vm.count("sdc")) { std::string sdc_filename = vm["sdc"].as(); std::ifstream sdc_stream(sdc_filename); - ctx->read_sdc(sdc_stream); + w.getContext()->read_sdc(sdc_stream); } customAfterLoad(w.getContext());