From feb324b7b93196bfb93ac0f7a9187f2406dca650 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Thu, 12 Jan 2012 09:41:14 +0100 Subject: [PATCH] model-checker : prototypes of unused functions removed --- include/mc/modelchecker.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/include/mc/modelchecker.h b/include/mc/modelchecker.h index 50b887f08b..43870f023a 100644 --- a/include/mc/modelchecker.h +++ b/include/mc/modelchecker.h @@ -2,6 +2,4 @@ XBT_PUBLIC(void) MC_assert(int); XBT_PUBLIC(void) MC_assert_stateful(int); -XBT_PUBLIC(void) MC_assert_pair_stateful(int); -XBT_PUBLIC(void) MC_assert_pair_stateless(int); XBT_PUBLIC(int) MC_random(int min, int max); -- 2.20.1