From d6ab6561baf09b23efebfb510dbab9b3812d5144 Mon Sep 17 00:00:00 2001
From: "Paolo G. Giarrusso" <p.giarrusso@gmail.com>
Date: Fri, 10 Jul 2020 19:01:58 +0200
Subject: [PATCH] LICENSE: Clarify which BSD license is being used

Sister MR to https://gitlab.mpi-sws.org/iris/iris/-/merge_requests/472.
---
 LICENSE | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/LICENSE b/LICENSE
index a79ad028..8a915c84 100644
--- a/LICENSE
+++ b/LICENSE
@@ -1,5 +1,5 @@
-All files in this development are distributed under the terms of the BSD
-license, included below.
+All files in this development are distributed under the terms of the 3-clause
+BSD license (https://opensource.org/licenses/BSD-3-Clause), included below.
 
 Copyright: std++ developers and contributors
 
-- 
GitLab