UDI fixes

This commit is contained in:
Vitor Santos Costa 2013-01-28 11:18:38 +00:00
parent 02a9709431
commit deba351b87
1 changed files with 0 additions and 4 deletions

View File

@ -821,10 +821,6 @@ RestoreExpandList__( USES_REGS1 )
static void
RestoreUdiControlBlocks(void)
{
if (Yap_heap_regs->udi_control_blocks) {
Yap_Error(SYSTEM_ERROR, TermNil,
"YAP cannot restore UDI entries!!\n");
}
}
static void