From 1ee09c0b2b275e52135b73b906e0478e85479d23 Mon Sep 17 00:00:00 2001
From: Victor Maia <victor.taelin@gmail.com>
Date: Wed, 13 Jul 2022 23:57:15 -0300
Subject: [PATCH] Add run instruction

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

diff --git a/README.md b/README.md
index 060839db..c201cf52 100644
--- a/README.md
+++ b/README.md
@@ -17,3 +17,9 @@ cargo install --path .
 ```
 kind2 check example.kind2
 ```
+
+3. Check a Kind2 file:
+
+```
+kind2 run example.kind2
+```