From 23005a8512472ac9a10c62c4b268acc825ce1374 Mon Sep 17 00:00:00 2001 From: Dmitry Boulytchev Date: Wed, 19 Feb 2020 20:13:37 +0300 Subject: [PATCH] Better readme --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 3a032dd53..56bc22815 100644 --- a/README.md +++ b/README.md @@ -46,7 +46,7 @@ Prerequisites: Installing: -* `opam pin add -n ostap https://github.com/dboulytchev/ostap.git#memoCPS` +* `opam pin add -n ostap https://github.com/dboulytchev/ostap.git#memoCPS` (remember of "#" being a comment character in bash) * `opam pin add -y lama https://github.com/JetBrains-Research/Lama.git` Smoke-testing: