From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Tue, 10 Jan 2012 12:23:00 +0000 (+0100)
Subject: Add missing declaration.
X-Git-Tag: exp_20120216~170
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/e1f51129fd77a984d68be6b5bb7139dfbcad2a9d

Add missing declaration.
---

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);