Add missing copyright notices.

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

diff --git a/src/simix/simix_network.tla b/src/simix/simix_network.tla
index 476628d..285cb1b 100644 (file)
--- 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.