halt_hooks should not be in save/restore, this will cause trouble.

This commit is contained in:
Vítor Santos Costa
2010-11-29 18:08:29 +00:00
parent 863747da7b
commit 2a8854094b
11 changed files with 11 additions and 23 deletions

View File

@@ -903,18 +903,6 @@ RestoreDBErasedIList(void)
}
}
static void
RestoreHaltHooks(void)
{
struct halt_hook *hooke = Yap_HaltHooks = HaltHookAdjust(Yap_HaltHooks);
while (hooke) {
hooke->next = HaltHookAdjust(hooke->next);
hooke = hooke->next;
}
}
static void
RestoreStreams(void)
{