From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 3 Oct 2013 17:39:33 +0000 (+0200)
Subject: model-checker : fix sort of acceptance pairs
X-Git-Tag: v3_9_90~40^2~25
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/ca6abe0d265dbe49de8f506e201218b632bd82cb?hp=ca6abe0d265dbe49de8f506e201218b632bd82cb

model-checker : fix sort of acceptance pairs
---