model-checker : remove clone file

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index 3884f5f..09eb990 100644 (file)
--- 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