From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Fri, 15 Jun 2012 08:06:07 +0000 (+0200)
Subject: model-checker : remove clone file
X-Git-Tag: v3_8~593
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/9abff0e56874d585e463f05fe2c1fe78ccd7fcd6?hp=578680064eeeffaea5471a65994302118c0f03b9

model-checker : remove clone file
---

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index 3884f5f853..09eb99040c 100644
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -172,7 +172,6 @@ set(XBT_SRC
 	src/xbt/automaton/automaton.c
 	src/xbt/automaton/automatonparse_promela.c
 	src/xbt/automaton/automaton.c
-	src/xbt/automaton/automatonparse_promela.c
 	src/xbt/automaton/automaton_create.c
 	src/xbt/datadesc/ddt_create.c
 	src/xbt/datadesc/ddt_convert.c