Add missing header

This commit is contained in:
Maxime Gimeno 2020-01-07 09:29:16 +01:00
parent 4c36c04fd6
commit 73ffe67feb
1 changed files with 1 additions and 0 deletions

View File

@ -17,6 +17,7 @@
#include <QOpenGLDebugLogger>
#include <QStyleFactory>
#include <QAction>
#include <QRegularExpressionMatch>
#ifdef CGAL_USE_WEBSOCKETS
#include <QtWebSockets/QWebSocket>
#endif