diff options
author | Taku Kudo <taku@google.com> | 2018-06-11 03:13:07 +0300 |
---|---|---|
committer | Taku Kudo <taku@google.com> | 2018-06-11 03:13:07 +0300 |
commit | 20e68fa7c407211e0f17e85537b6085005596eea (patch) | |
tree | 9e2de3295eacc18962e98ef5c57e8a77f850877a /src/util.h | |
parent | 910bab1a2ce7df8d03d72d28fd0ef327d1acde6b (diff) |
added missing include
Diffstat (limited to 'src/util.h')
-rw-r--r-- | src/util.h | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -20,6 +20,7 @@ #include <memory> #include <sstream> #include <string> +#include <utility> #include <vector> #include "common.h" #include "sentencepiece_processor.h" |