diff options
| -rw-r--r-- | ddb/db_mp.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ddb/db_mp.c b/ddb/db_mp.c index cc14aea..3ab00ce 100644 --- a/ddb/db_mp.c +++ b/ddb/db_mp.c @@ -149,7 +149,7 @@ db_leave() void remote_db() { int my_cpu = cpu_number(); - register int i; + int i; for (i = 0; i < NCPUS; i++) { if (i != my_cpu && |