Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix compilation errors about multiple definition of `automaton'.
authorArnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Fri, 3 Feb 2012 14:21:20 +0000 (15:21 +0100)
committerArnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Sun, 5 Feb 2012 18:44:50 +0000 (19:44 +0100)
commitae263b4ff3dee3b575fa789e14d078130e66074e
tree2ea6b4ae24bb7b9a97e777add654a3e1067c9cf0
parent19ec2826774fc8d1687cc8f1b65f584556f3de1c
Fix compilation errors about multiple definition of `automaton'.
examples/msg/mc/automatonparse_promela.c
examples/msg/mc/automatonparse_promela.h
include/xbt/automatonparse_promela.h
src/xbt/automatonparse_promela.c