diff options
Diffstat (limited to 'src/Editor.cxx')
| -rw-r--r-- | src/Editor.cxx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Editor.cxx b/src/Editor.cxx index a88ec2d1c..54336c19f 100644 --- a/src/Editor.cxx +++ b/src/Editor.cxx @@ -18,6 +18,7 @@ #include <vector> #include <map> #include <forward_list> +#include <optional> #include <algorithm> #include <iterator> #include <memory> |