File tree Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change 26
26
27
27
using namespace std ;
28
28
29
- typedef void * Address;
29
+ typedef const void * Address;
30
30
typedef unsigned int ThreadID;
31
31
typedef vector<int > VectorClock;
32
32
Original file line number Diff line number Diff line change @@ -60,7 +60,7 @@ class Race {
60
60
/* *
61
61
* Prints the call stack of a thread when a race is found
62
62
*/
63
- string printStack () {
63
+ string printStack () const {
64
64
65
65
stringstream ss;
66
66
@@ -77,7 +77,7 @@ class Race {
77
77
/* *
78
78
* Constructs a nicely reading message about the race
79
79
* and stores the result in "msg" string. */
80
- void createRaceMessage (string& msg) {
80
+ void createRaceMessage (string& msg) const {
81
81
stringstream ss;
82
82
83
83
ss << " =============================================\n " ;
You can’t perform that action at this time.
0 commit comments