From fb1927fcc078360980a434f327f8bc70ef26af07 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Mon, 29 Oct 2018 11:32:29 +0000
Subject: [PATCH] Marked WALA configuration 'optional'.

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

diff --git a/README.md b/README.md
index 92d8b06..25dfd7c 100644
--- a/README.md
+++ b/README.md
@@ -30,7 +30,7 @@ DASCA, you can obtain them by executing
 git submodule update --init --recursive
 ```
 
-### WALA configuration
+### WALA configuration (optional)
 
 DASCA (and the underlying WALA setup) is tested with Java version 8.
 If DASCA is installed using Java 8, there should be no need for updating