From 9abff0e56874d585e463f05fe2c1fe78ccd7fcd6 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Fri, 15 Jun 2012 10:06:07 +0200 Subject: [PATCH 1/1] model-checker : remove clone file --- buildtools/Cmake/DefinePackages.cmake | 1 - 1 file changed, 1 deletion(-) 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 -- 2.20.1