diff options
Diffstat (limited to 'src/ingen')
| -rw-r--r-- | src/ingen/ingen.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ingen/ingen.cpp b/src/ingen/ingen.cpp index 8f1233e1..a20689ea 100644 --- a/src/ingen/ingen.cpp +++ b/src/ingen/ingen.cpp @@ -203,7 +203,7 @@ run(int argc, char** argv) engine_interface->get(URI("ingen:/plugins")); engine_interface->get(main_uri()); - std::lock_guard<std::mutex> lock(world->rdf_mutex()); + const std::lock_guard<std::mutex> lock{world->rdf_mutex()}; world->parser()->parse_file( *world, *engine_interface, graph, parent, symbol); } else if (conf.option("server-load").is_valid()) { |