diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2022-04-30 23:02:16 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2022-04-30 23:02:16 +0200 |
| commit | 9d877e00596c007bf235209b2a0880536868c3c8 (patch) | |
| tree | a05a6f170a02b47a3674915bc3522cc3cdd99de6 /include | |
| parent | 1f3b133321a71fa32556fb6d9e6611967c381ff0 (diff) | |
FRP: add missing vector header
Diffstat (limited to 'include')
| -rw-r--r-- | include/erebos/frp.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/erebos/frp.h b/include/erebos/frp.h index 681aee8..5fc88f6 100644 --- a/include/erebos/frp.h +++ b/include/erebos/frp.h @@ -6,6 +6,7 @@ #include <functional> #include <tuple> #include <variant> +#include <vector> namespace erebos { |