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 | 021f90948343c2029a27b466c19df179f31f146d (patch) | |
| tree | 169d23a309ec6242517135054778f433d8917213 | |
| parent | afb84a8b6f3b719be1feb0e96c80ba402153476c (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++; |