From 7d59cf17b60d196c2a8bb93e5b1927748599107e Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Sat, 11 Jul 2020 15:11:37 +0200
Subject: fix file location reference in license

---
 LICENSE | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/LICENSE b/LICENSE
index a5b1cc4..ce2218d 100644
--- a/LICENSE
+++ b/LICENSE
@@ -4,8 +4,8 @@ Copyright (c) 2018–2020 Joshua Chen
 All files are licensed under the terms of the
 GNU Lesser General Public License v3.0 reproduced below,
 WITH THE EXCEPTION OF the following files:
-  spartan/lib/focus.ML
-  spartan/lib/goals.ML
+  spartan/core/focus.ML
+  spartan/core/goals.ML
 
 These have been modified from source code which is part of the official
 Isabelle distribution (https://isabelle.in.tum.de/) and licensed under the
-- 
cgit v1.2.3