1.1 --- a/region.cc Mon Feb 15 00:32:23 2021 +0100
1.2 +++ b/region.cc Thu Feb 18 00:53:38 2021 +0100
1.3 @@ -1,4 +1,3 @@
1.4 -#include <stdio.h>
1.5 #include <string.h>
1.6 #include <stdlib.h>
1.7
1.8 @@ -19,15 +18,6 @@
1.9 this->filepos = filepos;
1.10 }
1.11
1.12 -void RegionState::show(std::ostringstream &buffer)
1.13 -{
1.14 - char buf[64];
1.15 -
1.16 - snprintf(buf, 64, "{%3ld:%6ld}", fileid, filepos);
1.17 -
1.18 - buffer << buf;
1.19 -}
1.20 -
1.21
1.22
1.23 /* Initialise a region having the given 'start' and 'end' addresses, with the