| commit | 84f6a3fc6b7759e98889a38ab74980efbf418ce7 | [log] [tgz] |
|---|---|---|
| author | kwiberg <kwiberg@webrtc.org> | Tue Sep 05 08:43:13 2017 -0700 |
| committer | Commit Bot <commit-bot@chromium.org> | Tue Sep 05 15:43:13 2017 +0000 |
| tree | a122fd2e609461b65169b993cb99aa7874a7c4bb | |
| parent | ad43d4b29e54a914eeb88e7bc26db2271c5742f5 [diff] [blame] |
Move optional.h to webrtc/api/ We use Optional in our public API, so its header should be in webrtc/api/. BUG=webrtc:8205 Review-Url: https://codereview.webrtc.org/3011943002 Cr-Commit-Position: refs/heads/master@{#19693}
diff --git a/webrtc/modules/video_coding/sequence_number_util.h b/webrtc/modules/video_coding/sequence_number_util.h index 05f3367..3e7d64a 100644 --- a/webrtc/modules/video_coding/sequence_number_util.h +++ b/webrtc/modules/video_coding/sequence_number_util.h
@@ -14,8 +14,8 @@ #include <limits> #include <type_traits> +#include "webrtc/api/optional.h" #include "webrtc/rtc_base/mod_ops.h" -#include "webrtc/rtc_base/optional.h" #include "webrtc/rtc_base/safe_compare.h" namespace webrtc {