X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/27b0c1ee1d85c53f1d11bb2b8e539cd76e4cf437..f9b13d923d31bb0336aeeaab6d5b7ba33812f3f7:/src/simix/simix_network.tla

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