Typo [ci-skip]

[simgrid.git] / src / simix / simix_network.tla

diff --git a/src/simix/simix_network.tla b/src/simix/simix_network.tla
index 476628d1954daa270b806acc00797670fb07fdfa..7275c929dd43e5338474dc12a47ac0ecabebec95 100644 (file)
--- a/src/simix/simix_network.tla
+++ b/src/simix/simix_network.tla
@@ -1,4 +1,9 @@
 ---- MODULE simix_network ----
+(* Copyright (c) 2012-2023. The SimGrid Team. All rights reserved.          *)
+
+(* This program is free software; you can redistribute it and/or modify it
+ * under the terms of the license (GNU LGPL) which comes with this package. *)
+
 (* This is a TLA module specifying the networking layer of SIMIX.
    It is used to verify the soundness of the DPOR reduction algorithm
    used in the model-checker.