X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/957da2691fc483ae05228fc6ef815af5944452af..62092c1b6479cce4011d3a420cf8ac75ca853fa9:/teshsuite/mc/random-bug/random-bug.tesh

diff --git a/teshsuite/mc/random-bug/random-bug.tesh b/teshsuite/mc/random-bug/random-bug.tesh
index 8e097de364..4e03424a14 100644
--- a/teshsuite/mc/random-bug/random-bug.tesh
+++ b/teshsuite/mc/random-bug/random-bug.tesh
@@ -23,7 +23,6 @@ $ ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/random-bug abort ${platfdir}
 > [  0.000000] (0:maestro@) ** CRASH IN THE PROGRAM **
 > [  0.000000] (0:maestro@) **************************
 > [  0.000000] (0:maestro@) From signal: Aborted
-> [  0.000000] (0:maestro@) No core dump was generated by the system.
 > [  0.000000] (0:maestro@) Counter-example execution trace:
 > [  0.000000] (0:maestro@)   [(1)Fafard (app)] MC_RANDOM(0)
 > [  0.000000] (0:maestro@)   [(1)Fafard (app)] MC_RANDOM(0)