From 8df5dfbb575b1320f8b666f9707edb5b5563118e Mon Sep 17 00:00:00 2001
From: bjorn3 <bjorn3@users.noreply.github.com>
Date: Sat, 3 Jun 2017 18:21:43 +0200
Subject: [PATCH] Add single doc comment to librustc/hir/def_id.rs

---
 src/librustc/hir/def_id.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/librustc/hir/def_id.rs b/src/librustc/hir/def_id.rs
index 47604b961ae..ce2baa73897 100644
--- a/src/librustc/hir/def_id.rs
+++ b/src/librustc/hir/def_id.rs
@@ -187,6 +187,7 @@ fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
 
 
 impl DefId {
+    /// Make a local `DefId` with the given index.
     pub fn local(index: DefIndex) -> DefId {
         DefId { krate: LOCAL_CRATE, index: index }
     }
-- 
2.44.0