X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/daf9d10c7877d35670e36e52be8a5207706d3bb1..0d1c9172064ba746ed23e4e36146a3605491f5fa:/src/mc/mc_liveness.c?ds=sidebyside

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 60adc472da..480358ff7d 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -82,10 +82,11 @@ int reached(xbt_automaton_t a, mc_snapshot_t s){
     
     cursor = 0;
     mc_pair_reached_t pair_test;
+    int (*compare_dynar)(const void*; const void*) = propositional_symbols_compare;
     
     xbt_dynar_foreach(reached_pairs, cursor, pair_test){
       if(automaton_state_compare(pair_test->automaton_state, pair->automaton_state) == 0){
-	if(xbt_dynar_compare(pair_test->prop_ato, pair->prop_ato, propositional_symbols_compare_value) == 0){
+	if(xbt_dynar_compare(pair_test->prop_ato, pair->prop_ato, compare_dynar) == 0){
 	  if(snapshot_compare(pair_test->system_state, pair->system_state) == 0){
 	    MC_UNSET_RAW_MEM;
 	    return 1;