modelchecking: fix some copyright notices

LearnLib · Jan 7, 2025 · ea8be84 · ea8be84
1 parent ac49ec4
commit ea8be84
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/modelchecking/ltsmin/pom.xml b/modelchecking/ltsmin/pom.xml
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!--
 Copyright (C) 2013-2025 TU Dortmund University
-This file is part of LearnLib, http://www.learnlib.de/.
+This file is part of AutomataLib <https://automatalib.net>.
 
 Licensed under the Apache License, Version 2.0 (the "License");
 you may not use this file except in compliance with the License.

diff --git a/modelchecking/m3c/pom.xml b/modelchecking/m3c/pom.xml
@@ -1,7 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!--
 Copyright (C) 2013-2025 TU Dortmund University
-This file is part of LearnLib, http://www.learnlib.de/.
+This file is part of AutomataLib <https://automatalib.net>.
 
 Licensed under the Apache License, Version 2.0 (the "License");
 you may not use this file except in compliance with the License.