From ce6a80062a4490a97d3a0e47e6a5d7384786cfba Mon Sep 17 00:00:00 2001
From: ZhilkinSerg <ZhilkinSerg@users.noreply.github.com>
Date: Sat, 18 Jan 2020 08:14:57 +0300
Subject: [PATCH] Fix external options messing with world options (#37155)

---
 src/worldfactory.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/worldfactory.cpp b/src/worldfactory.cpp
index 19d55dd8f517c..4a92619f1cfda 100644
--- a/src/worldfactory.cpp
+++ b/src/worldfactory.cpp
@@ -1426,7 +1426,7 @@ void load_external_option( const JsonObject &jo )
     options_manager &opts = get_options();
     if( !opts.has_option( name ) ) {
         auto sinfo = jo.get_string( "info" );
-        opts.add_external( name, "world_default", stype, sinfo, sinfo );
+        opts.add_external( name, "external_options", stype, sinfo, sinfo );
     }
     options_manager::cOpt &opt = opts.get_option( name );
     if( stype == "float" ) {