From fd8f972cace8ce701dec3e8d713d567a4f217c6e Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Thu, 28 Jun 2018 13:53:38 -0700 Subject: [PATCH] grammar Signed-off-by: Lev Nachmanson --- src/util/lp/binary_heap_priority_queue_def.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/lp/binary_heap_priority_queue_def.h b/src/util/lp/binary_heap_priority_queue_def.h index 0d70e5aca..8a39ecdfa 100644 --- a/src/util/lp/binary_heap_priority_queue_def.h +++ b/src/util/lp/binary_heap_priority_queue_def.h @@ -20,7 +20,7 @@ Revision History: #include "util/vector.h" #include "util/lp/binary_heap_priority_queue.h" namespace lp { -// is is the child place in heap +// "i" is the child's place in the heap template void binary_heap_priority_queue::swap_with_parent(unsigned i) { unsigned parent = m_heap[i >> 1]; put_at(i >> 1, m_heap[i]);