model-checker : break forgotten in switch

[simgrid.git] / src / simix / README_attempt_without_stack

diff --git a/src/simix/README_attempt_without_stack b/src/simix/README_attempt_without_stack
index 4985d0c..f69afc4 100644 (file)
--- a/src/simix/README_attempt_without_stack
+++ b/src/simix/README_attempt_without_stack
@@ -46,7 +46,7 @@ A simple to use and efficient trace parser is also provided:
   void replay_trace_reader_free(replay_trace_reader_t *reader);
   /* get a new event. Don't free the content, strdup what you want to
      keep after next call to reader_get() */
-  const char * const*replay_trace_reader_get(replay_trace_reader_t r);
+  const char **replay_trace_reader_get(replay_trace_reader_t r);
   /* return a "file:pos" description of the last thing we read. */
   const char *replay_trace_reader_position(replay_trace_reader_t r);
 Check replay_trace_reader.c for souce code, and replay_MPI.c for
@@ -113,4 +113,4 @@ argument to the run_fun().
 
 
 Isn't all this beautifully awful?? A few gotos in your code are just
-what you need to go 20 years back to the good old time of gwbasic...
\ No newline at end of file
+what you need to go 20 years back to the good old time of gwbasic...