summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--serverboot/default_pager.c2
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++;