From e7c7211c30f15d8a883888e31cfb06a9831e8120 Mon Sep 17 00:00:00 2001
From: Tim Abbott <tabbott@zulipchat.com>
Date: Wed, 1 Aug 2018 17:36:38 -0700
Subject: [PATCH] mypy: Fix type of messages in do_update_message_flags.

Ever since we moved the stream/everything cases to separate functions,
the messages argument has actually been required.
---
 zerver/lib/actions.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/zerver/lib/actions.py b/zerver/lib/actions.py
index 192608a241..6fcd3183b0 100644
--- a/zerver/lib/actions.py
+++ b/zerver/lib/actions.py
@@ -3619,7 +3619,7 @@ def do_update_message_flags(user_profile: UserProfile,
                             client: Client,
                             operation: str,
                             flag: str,
-                            messages: Optional[Sequence[int]]) -> int:
+                            messages: List[int]) -> int:
     flagattr = getattr(UserMessage.flags, flag)
 
     assert messages is not None