X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ee6ad01236f2ca82d408ed5b9f3f1c614ccb4594..5afd75483d80ccf2c678e50f82613b3556c7ca97:/src/simix/simix_network.tla

diff --git a/src/simix/simix_network.tla b/src/simix/simix_network.tla
index 476628d195..285cb1bda7 100644
--- a/src/simix/simix_network.tla
+++ b/src/simix/simix_network.tla
@@ -1,4 +1,9 @@
 ---- MODULE simix_network ----
+(* Copyright (c) 2012-2021. 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.