Skip to content
GitLab
Commit 52029088 authored by Andrew Waterman's avatar Andrew Waterman
Browse files

Fix build broken by #1170 and #1180 

It looks like #1170 and #1180 conflict, so they individually pass CI
but collectively don't.  Trivially fix by #including <vector>.
parent 3030ddd6
Hide whitespace changes
Inline Side-by-side
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment