commit ec3b94fbc381ea9527f8db7efe0b4b58f17875f5
author Henner Zeller <h.zeller@acm.org> Tue Nov 19 21:54:26 2019 -0800
committer Henner Zeller <h.zeller@acm.org> Tue Nov 19 21:54:26 2019 -0800
tree 049f0276cc8db470775700a9ca388779ca26b93f
parent 925c1c8877c694f21ea5fee908abb1b11525bdf2

Fix typo in INSTALL.md

Signed-off-by: Henner Zeller <h.zeller@acm.org>

INSTALL.md

diff --git a/INSTALL.md b/INSTALL.md
index 48a194c..6c689f2 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -13,7 +13,7 @@
 
 * Please install the following package updates:
 
-   * sudo apt-get install build-essential pkg-config tcsh swig uuid-dev libgoogle-perftools-dev python3 python3-dev
+   * sudo apt-get install build-essential pkg-config tclsh swig uuid-dev libgoogle-perftools-dev python3 python3-dev
 
    * If you don't intent to change the grammar:
      * sudo apt-get install default-jre