Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
useless cosmetics
authorMartin Quinson <martin.quinson@loria.fr>
Thu, 21 Jun 2012 09:45:26 +0000 (11:45 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Thu, 21 Jun 2012 09:53:31 +0000 (11:53 +0200)
src/xbt/automaton/automatonparse_promela.c

index bfd39e1..beb79a6 100644 (file)
@@ -1,7 +1,6 @@
 /* methods for implementation of automaton from promela description */
 
-/* Copyright (c) 2011. The SimGrid Team.
- * All rights reserved.                                                     */
+/* Copyright (c) 2011-2012. 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. */
@@ -19,7 +18,7 @@ void new_state(char* id, int src){
 
   char* id_state = strdup(id);
   char* first_part = strtok(id,"_");
-  int type = 0 ; // -1=état initial, 0=état intermédiaire, 1=état final
+  int type = 0 ; // -1=initial state; 0=intermediate state; 1=final state
 
   if(strcmp(first_part,"accept")==0){
     type = 1;