model-checker : add comments for the example bugged2_liveness

[simgrid.git] / examples / msg / tracing / procmig.tesh

diff --git a/examples/msg/tracing/procmig.tesh b/examples/msg/tracing/procmig.tesh
index 071e7e5..f656d64 100644 (file)
--- a/examples/msg/tracing/procmig.tesh
+++ b/examples/msg/tracing/procmig.tesh
@@ -69,19 +69,19 @@ $ cat tracing/procmig.trace
 > %       Time date 
 > %       Type string 
 > %       Container string 
-> %       Value string 
+> %       Value double 
 > %EndEventDef
 > %EventDef PajeAddVariable 9 
 > %       Time date 
 > %       Type string 
 > %       Container string 
-> %       Value string 
+> %       Value double 
 > %EndEventDef
 > %EventDef PajeSubVariable 10 
 > %       Time date 
 > %       Type string 
 > %       Container string 
-> %       Value string 
+> %       Value double 
 > %EndEventDef
 > %EventDef PajeSetState 11 
 > %       Time date