X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/beec1389e9398a7d088835d1a841b89a1e54c925..8ebfad14d820fc1220036ea6a6bb299d96e214f5:/examples/msg/mc/automaton.c

diff --git a/examples/msg/mc/automaton.c b/examples/msg/mc/automaton.c
index 46d06fa8d9..b2e3ae3305 100644
--- a/examples/msg/mc/automaton.c
+++ b/examples/msg/mc/automaton.c
@@ -343,6 +343,10 @@ int automaton_label_transition_compare(xbt_exp_label_t l1, xbt_exp_label_t l2){
 
 int propositional_symbols_compare_value(const void *s1, const void *s2){
 
-  return (!((int)s1 == (int)s2));
+  const int *ps1 = s1;
+  const int *ps2 = s2;
+  printf("ps 1 = %d, ps2 = %d", *ps1, *ps2);
+
+  return (!(*ps1 == *ps2));
 
 }