diff options
Diffstat (limited to 'formal/promela/src/testgen_ml.coco')
-rw-r--r-- | formal/promela/src/testgen_ml.coco | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/formal/promela/src/testgen_ml.coco b/formal/promela/src/testgen_ml.coco index d4c84c68..b1368711 100644 --- a/formal/promela/src/testgen_ml.coco +++ b/formal/promela/src/testgen_ml.coco @@ -1,6 +1,5 @@ - # SPDX-License-Identifier: BSD-2-Clause - ############################################################################## + # SPDX-License-Identifier: BSD-3-Clause # Testgen ML # # Copyright (C) 2019-2021 Trinity College Dublin (www.tcd.ie) |