MC does not need a mc_value_ in the simcall anymore

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

diff --git a/src/simix/simix_network.tla b/src/simix/simix_network.tla
index 285cb1bda7fcc49cc890d0d309750a3ecde99bd0..ecd1bcd6a16c5c57ed5de507cb437ddfb807462b 100644 (file)
--- a/src/simix/simix_network.tla
+++ b/src/simix/simix_network.tla
@@ -1,5 +1,5 @@
 ---- MODULE simix_network ----
-(* Copyright (c) 2012-2021. The SimGrid Team. All rights reserved.          *)
+(* 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. *)