Merge pull request #146 from sergeyvfx/fix_shared_ptr

Fix compilation error with undefined shared_ptr
pull/162/head
David Michaeli 2023-12-05 15:22:14 +02:00 zatwierdzone przez GitHub
commit 9e13cf7999
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: 4AEE18F83AFDEB23
1 zmienionych plików z 1 dodań i 0 usunięć

Wyświetl plik

@ -20,6 +20,7 @@
#include <ostream>
#include <iostream>
#include <thread>
#include <memory>
#include <mutex>
#include <functional>