diff options
| -rw-r--r-- | serverboot/default_pager.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/serverboot/default_pager.c b/serverboot/default_pager.c index 533fe2de..006751fc 100644 --- a/serverboot/default_pager.c +++ b/serverboot/default_pager.c @@ -2388,7 +2388,7 @@ seqnos_memory_object_data_write(pager, seqno, pager_request, vm_size_t amount_sent; default_pager_t ds; static char here[] = "%sdata_write"; - int err + int err; #ifdef lint pager_request++; |