From a585dc8289120aa4ee232c1f8317a21eb5ae2c1a Mon Sep 17 00:00:00 2001
From: Vytautas Astrauskas <astrauv@amazon.com>
Date: Thu, 16 Apr 2020 13:39:21 -0700
Subject: [PATCH] Add a missing newline.

---
 src/threads.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/threads.rs b/src/threads.rs
index c8348e262696..72584b726557 100644
--- a/src/threads.rs
+++ b/src/threads.rs
@@ -331,6 +331,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
         }
         Ok(())
     }
+
     /// Get a thread-specific allocation id for the given thread-local static.
     /// If needed, allocate a new one.
     ///