X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/edcfc3f3a1695f36a43d8f5435b72d527aec02ce..e4e4b7da7f6a6d04b659f0aa9c1de8733939096f:/src/xbt/automaton/automatonparse_promela.c diff --git a/src/xbt/automaton/automatonparse_promela.c b/src/xbt/automaton/automatonparse_promela.c index 37dd4bd6d2..4fad698eb5 100644 --- a/src/xbt/automaton/automatonparse_promela.c +++ b/src/xbt/automaton/automatonparse_promela.c @@ -1,6 +1,6 @@ /* methods for implementation of automaton from promela description */ -/* Copyright (c) 2011-2022. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2011-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. */