From ba6dd5b7072a879b0d2e1886d55ed6bae4f6d337 Mon Sep 17 00:00:00 2001
From: Queeny <jinkun@pingcap.com>
Date: Tue, 8 May 2018 22:33:19 -0700
Subject: [PATCH] Update README.md

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 045159a..e4c3ed6 100644
--- a/README.md
+++ b/README.md
@@ -4,7 +4,7 @@ TLA+ is a formal specification and verification language to help engineers desig
 
 # tla-plus in TiDB
 
-In TiDB, we use TLA+ for the following purposes:
+In [TiDB](https://github.com/pingcap/tidb), we use TLA+ for the following purposes:
 
 - To verify the distributed consensus algorithm - [Raft](https://github.com/pingcap/raft-rs). 
 - To verify the implementation of distributed transaction.