Update README.txt

kjain14 · web-flow · commit c96d55b72ad2 · 2020-01-16T22:18:34.000+05:30
diff --git a/README.txt b/README.txt
@@ -6,7 +6,7 @@ Note for ICSE Reviewers: We recently cleaned the code and improved our scripts f
 0. Download and unpack the mCoq archive, and enter the directory:
 
 ```
-$ git clone https://github.com/EngineeringSoftware/mCoq.git
+$ git clone https://github.com/EngineeringSoftware/mcoq.git
 $ cd mcoq
 ```
 
