From 192df4f574f316744e8f5fd843f6a72e512ffe39 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Tue, 3 Jul 2018 03:55:41 +0100
Subject: [PATCH] Added SPDX License Identifier.

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

diff --git a/README.md b/README.md
index e5f260f..e19b7cd 100644
--- a/README.md
+++ b/README.md
@@ -44,6 +44,8 @@ isabelle build -d UPF_Firewall . UPF-Firewall
 
 This project is licensed under a 3-clause BSD-style license.
 
+SPDX-License-Identifier: BSD-3-Clause
+
 ## Publications
 * Achim D. Brucker, Lukas Brügger, and Burkhart Wolff. Formal Firewall
   Conformance Testing: An Application of Test and Proof Techniques. In