From e1f51129fd77a984d68be6b5bb7139dfbcad2a9d Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Tue, 10 Jan 2012 13:23:00 +0100 Subject: [PATCH] Add missing declaration. --- src/include/mc/mc.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/include/mc/mc.h b/src/include/mc/mc.h index 66fdadaaaf..8eda522cc8 100644 --- a/src/include/mc/mc.h +++ b/src/include/mc/mc.h @@ -38,6 +38,7 @@ XBT_PUBLIC(void) MC_assert_pair_stateful(int); XBT_PUBLIC(void) MC_assert_pair_stateless(int); XBT_PUBLIC(void) MC_modelcheck(void); XBT_PUBLIC(void) MC_modelcheck_stateful(void); +XBT_PUBLIC(void) MC_modelcheck_liveness(xbt_automaton_t a, char *prgm); XBT_PUBLIC(void) MC_modelcheck_liveness_stateful(xbt_automaton_t a, char *prgm); XBT_PUBLIC(void) MC_modelcheck_liveness_stateless(xbt_automaton_t a, char *prgm); XBT_PUBLIC(int) MC_random(int, int); -- 2.20.1