From 3b94e30eaaaf4e5f57d6655e0f7071130e3b8ebf Mon Sep 17 00:00:00 2001
From: Dmitry Boulytchev <dboulytchev@gmail.com>
Date: Wed, 19 Feb 2020 15:30:33 +0300
Subject: [PATCH] Better readme

---
 README.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index b18a1dde2..ddea4fcfc 100644
--- a/README.md
+++ b/README.md
@@ -43,4 +43,8 @@ Prerequisites:
 Installing:
 
 * `opam pin add -n ostap https://github.com/dboulytchev/ostap.git#memoCPS`
-* `opam pin add -y lama https://github.com/JetBrains-Research/Lama.git`
\ No newline at end of file
+* `opam pin add -y lama https://github.com/JetBrains-Research/Lama.git`
+
+Smoke-checking: `pushd tutorial && make && popd`
+
+