1.1 --- a/dstest_pipe_server.cc Sat Mar 27 01:42:25 2021 +0100
1.2 +++ b/dstest_pipe_server.cc Sat Mar 27 22:12:12 2021 +0100
1.3 @@ -23,7 +23,7 @@
1.4
1.5 #include <stdio.h>
1.6
1.7 -#include "memory.h"
1.8 +#include "memory_incremental.h"
1.9 #include "pipe_opener_resource.h"
1.10 #include "resource_server.h"
1.11
1.12 @@ -35,7 +35,7 @@
1.13 {
1.14 /* Some memory plus infrastructure. */
1.15
1.16 - Memory mem(MEMORY_PAGES);
1.17 + MemoryIncremental mem(MEMORY_PAGES);
1.18 PipeOpenerResource opener(&mem);
1.19
1.20 /* Register a server associating it with the given object. */