model-checker : new version of stateless double dfs algorithm for liveness properties

[simgrid.git] / include / xbt / graphxml.h

diff --git a/include/xbt/graphxml.h b/include/xbt/graphxml.h
index b8c8d77..556b0c0 100644 (file)
--- a/include/xbt/graphxml.h
+++ b/include/xbt/graphxml.h
@@ -1,10 +1,9 @@
-/* XML processor/application API for xbt/graphxml.dtd.
- * Generated 2007/08/09 10:57:49.
+/* XML processor/application API for src/xbt/graphxml.dtd.
  *
  * This program was generated with the FleXML XML processor generator.
  * FleXML is Copyright (C) 1999-2005 Kristoffer Rose.  All rights reserved.
  * FleXML is Copyright (C) 2003-2006 Martin Quinson.  All rights reserved.
- * (Id: flexml.pl,v 1.61 2006/09/13 16:34:33 wdowling Exp).
+ * (Id: flexml.pl,v 1.62 2007/10/11 10:00:14 mquinson Exp).
  * 
  * There are two, intertwined parts to this program, part A and part B.
  *