X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/daf9d10c7877d35670e36e52be8a5207706d3bb1..0d1c9172064ba746ed23e4e36146a3605491f5fa:/src/xbt/automaton.c

diff --git a/src/xbt/automaton.c b/src/xbt/automaton.c
index 46d06fa8d9..e9f4f02787 100644
--- a/src/xbt/automaton.c
+++ b/src/xbt/automaton.c
@@ -343,6 +343,6 @@ 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));
+  return (!(s1 == s2));
 
 }