From fe59480469d278e38556f8a87217b30e1af1974d Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 22 Jun 2019 23:27:31 +0100
Subject: [PATCH] Fixed build instructions.

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

diff --git a/README.md b/README.md
index 099f1ee..5e938a1 100644
--- a/README.md
+++ b/README.md
@@ -26,7 +26,7 @@ echo "/home/isabelle/afp/thys" >> ~/.isabelle/Isabelle2018/ROOTS
 ## How to build
 
 ```
-isabelle build -d UPF_Firewall . UPF-Firewall
+isabelle build -d UPF_Firewall UPF-Firewall
 ```
 
 ## Authors