Update registry.h

pull/822/head
Gabi Melman 7 years ago committed by GitHub
parent a6ee1cf590
commit 00acb8ba41
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -16,7 +16,7 @@
#include <chrono> #include <chrono>
#include <functional> #include <functional>
#include <memory #include <memory>
#include <string> #include <string>
#include <unordered_map> #include <unordered_map>

Loading…
Cancel
Save