From: Brian Demsky <bdemsky@uci.edu>
Date: Wed, 6 Jun 2012 07:13:23 +0000 (-0700)
Subject: more docs
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=8aceb584e9f6d7c94873bf3b9f5fcb82f5868ae4

more docs
---

diff --git a/model.cc b/model.cc
index 70440f50..51891d08 100644
--- 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