From 23f210ac405a45c6ea3bde3f52cb501eb2c3c4ce Mon Sep 17 00:00:00 2001
From: Sigurd Schneider <sigurd.schneider@cs.uni-saarland.de>
Date: Tue, 19 Sep 2017 19:47:48 +0200
Subject: [PATCH] Make clear that including smpl is optional

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index a39e6f8..8d7b33d 100644
--- a/README.md
+++ b/README.md
@@ -38,7 +38,7 @@ In any of your files, you can then simply import the plugin via
 
     Require Import smpl.Smpl.
 
-### Including smpl in your project 
+### Alternative: Including smpl in your project 
 
 If you want to place smpl in your project, you can place it
 in a directory of your project.