src/dataBuffer.cpp

changeset 125
85814c0918c5
parent 119
bdf8d46c145f
child 133
dbbdb870c835
equal deleted inserted replaced
124:a7b769a0e537 125:85814c0918c5
39 39
40 // ============================================================================ 40 // ============================================================================
41 // 41 //
42 DataBuffer::~DataBuffer() 42 DataBuffer::~DataBuffer()
43 { 43 {
44 assert (marks().isEmpty() && references().isEmpty()); 44 ASSERT (marks().isEmpty());
45 ASSERT (references().isEmpty());
45 delete buffer(); 46 delete buffer();
46 } 47 }
47 48
48 // ============================================================================ 49 // ============================================================================
49 // 50 //

mercurial