more docs

[model-checker.git] / model.cc

diff --git a/model.cc b/model.cc
index 70440f5050b3c3bc0adaf157e44db0959f3c6476..51891d08e09ddcb964b6dc7e95fb039680514ec1 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -85,7 +85,7 @@ Thread * ModelChecker::schedule_next_thread()
        return t;
 }
 
-/*
+/**
  * get_next_replay_thread() - Choose the next thread in the replay sequence
  *
  * If we've reached the 'diverge' point, then we pick a thread from the