From 091058e4633b6d009525c61e8dc0ba82e8c8604d Mon Sep 17 00:00:00 2001
From: Tej Chajed <tchajed@mit.edu>
Date: Thu, 1 Feb 2018 21:22:55 -0500
Subject: [PATCH] Fix typo in crate documentation

---
 src/lib.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lib.rs b/src/lib.rs
index ee4d885e70a..128bd443231 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -410,7 +410,7 @@
 //! For example, to test the code, as above simply run:
 //!
 //! ```text
-//! $ just run-tests`
+//! $ just run-tests
 //! ```
 //!
 //! From here on, I will lis the appropriate `cargo` command as well as the `just` command.