]> git.lyx.org Git - features.git/commitdiff
Add missing header include
authorJuergen Spitzmueller <spitz@lyx.org>
Sun, 20 Dec 2020 11:42:04 +0000 (12:42 +0100)
committerJuergen Spitzmueller <spitz@lyx.org>
Sun, 20 Dec 2020 11:42:04 +0000 (12:42 +0100)
src/Server.h

index 2f26b8aef7d1eabe3ef58a46b325000223359772..215b7e930d5854e6c7b08c0d073d6d793e72957f 100644 (file)
@@ -15,6 +15,7 @@
 #define SERVER_H
 
 #include <memory>
+#include <string>
 #include <vector>
 
 #ifdef _WIN32