Fix broken lgtm build

2019-10-30 18:06:30 +01:00
parent ba8dda1836
commit 4dcee23cb3
2 changed files with 3 additions and 5 deletions
--- a/rtgui/options.h
+++ b/rtgui/options.h
@@ -19,6 +19,7 @@
 #pragma once

 #include <set>
+#include <vector>
 #include <gtkmm/enums.h>
 #include "../rtengine/settings.h"
 #include <exception>