summaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorThomas Bauereiss2020-01-28 16:45:51 +0000
committerThomas Bauereiss2020-01-28 18:20:01 +0000
commit6631de4f641607755ae8c0434921e4f68cf9f2f6 (patch)
tree831b25b3e46c29b8ca87be7d25bab8b5fdd2ae16 /README.md
parentb564a217416afc8df471d3e97cff8168efd804b1 (diff)
Use external PPrint
Diffstat (limited to 'README.md')
-rw-r--r--README.md4
1 files changed, 1 insertions, 3 deletions
diff --git a/README.md b/README.md
index c30ae501..499ddac5 100644
--- a/README.md
+++ b/README.md
@@ -99,9 +99,7 @@ Licensing
The Sail implementation, in src/, as well as its tests in test/ and
other supporting files in lib/ and language/, is distributed under the
-2-clause BSD licence in the headers of those files and in src/LICENCE,
-with the exception of the library src/pprint, which is distributed
-under the CeCILL-C free software licence in src/pprint/LICENSE.
+2-clause BSD licence in the headers of those files and in src/LICENCE.
The generated parts of the ASL-derived ARMv8.3 model in aarch64/ are
copyright ARM Ltd. See https://github.com/meriac/archex, and the