diff options
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; |