model: privatize a few interfaces

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index 2f9ec63f00d5e6bf113c18d17386dfc22eeea7cd..8c88a05469515e92c9f324ef3afb619ee90c0344 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -1913,7 +1913,7 @@ bool ModelChecker::release_seq_heads(const ModelAction *rf,
 }
 
 /**
 }
 
 /**

- * A public interface for getting the release sequence head(s) with which a
+ * An interface for getting the release sequence head(s) with which a

  * given ModelAction must synchronize. This function only returns a non-empty
  * result when it can locate a release sequence head with certainty. Otherwise,
  * it may mark the internal state of the ModelChecker so that it will handle
  * given ModelAction must synchronize. This function only returns a non-empty
  * result when it can locate a release sequence head with certainty. Otherwise,
  * it may mark the internal state of the ModelChecker so that it will handle