From dd5368bb7f6f7e4e4995962bcfe83308d8ccd021 Mon Sep 17 00:00:00 2001
From: David Tolnay <dtolnay@gmail.com>
Date: Thu, 23 Apr 2020 02:57:20 -0700
Subject: [PATCH] Bypass miri interactive prompts

---
 .travis.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.travis.yml b/.travis.yml
index 17c696e..94c65fb 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -20,4 +20,5 @@ matrix:
       name: Miri
       script:
         - rustup component add miri || travis_terminate 0
+        - cargo miri setup
         - cargo miri test