diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-24 12:45:13 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-24 12:45:13 -0500 |
commit | 4abb82936fbb1a297d0d5eb69f8dbdb4599a67f2 (patch) | |
tree | bca270de413bd8d8ea942160c652cd602df40120 /src/util/backtrackable.h | |
parent | 36e60903069f0faf3d3d4caf4f2ca6ff384896c9 (diff) |
Minor code cleanup.
Diffstat (limited to 'src/util/backtrackable.h')
-rw-r--r-- | src/util/backtrackable.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/backtrackable.h b/src/util/backtrackable.h index c5844c6c4..57ed94771 100644 --- a/src/util/backtrackable.h +++ b/src/util/backtrackable.h @@ -170,7 +170,7 @@ void List<T>::concat (List<T>* other) { template <class T> void List<T>::unconcat(List<T>* other) { // we do not need to check consistency since this is only called by the - //Backtracker when we are inconsistent + // Backtracker when we are inconsistent Assert(other->ptr_to_head != NULL); other->ptr_to_head->next = NULL; tail = other->ptr_to_head; |