diff options
| -rw-r--r-- | ddb/db_command.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/ddb/db_command.h b/ddb/db_command.h index 64e3b5c..1edf1d6 100644 --- a/ddb/db_command.h +++ b/ddb/db_command.h @@ -53,8 +53,6 @@ extern db_addr_t db_next; /* next address to be examined or written */ extern jmp_buf_t * db_recover; /* error recovery */ -extern jmp_buf_t * db_recover; /* error recovery */ - /* * Command table */ |