From 8aceb584e9f6d7c94873bf3b9f5fcb82f5868ae4 Mon Sep 17 00:00:00 2001
From: Brian Demsky <bdemsky@uci.edu>
Date: Wed, 6 Jun 2012 00:13:23 -0700
Subject: [PATCH] more docs

---
 model.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/model.cc b/model.cc
index 70440f5..51891d0 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
-- 
2.34.1