From 02e615bd003076f82cfcae2d532e1b68687a789b Mon Sep 17 00:00:00 2001
From: Qianchuan Ye <yeqianchuan@gmail.com>
Date: Mon, 11 Mar 2024 18:52:18 -0400
Subject: [PATCH] Typo

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index b813cd8..1704a70 100644
--- a/README.md
+++ b/README.md
@@ -280,11 +280,11 @@ By enable the `typing` option in the config file `meta-config.json`, **Marple**
 
 **Requirements:** We use bold and coloring printing in command line, make sure your terminal supports escape sequences.
 
-> For example,
+For example,
 
     $ ./_build/default/bin/main.exe ri-type-check meta-config.json data/ri/FileSystem_Tree/add.ml
 
-> will print
+will print
 
 ```
 ...