diff options
| author | Thomas Bushnell <thomas@gnu.org> | 1997-04-18 21:09:49 +0000 |
|---|---|---|
| committer | Thomas Bushnell <thomas@gnu.org> | 1997-04-18 21:09:49 +0000 |
| commit | 9b303e01da12fd37bf030321fdebbd7ecec73db8 (patch) | |
| tree | da05ab3e0c949a931609987dc15b9f7ffa347fd4 | |
| parent | 6e021c0be78490eaaaf31a3155b0845c257e066c (diff) | |
*** empty log message ***
| -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++; |