compilation fixes

This commit is contained in:
Vítor Manuel de Morais Santos Costa
2009-10-31 00:18:13 +00:00
parent bda231f24d
commit 6a8cee8b79
7 changed files with 8 additions and 6 deletions

View File

@@ -805,7 +805,6 @@ RestoreLogDBErasedMarker(void)
Yap_heap_regs->logdb_erased_marker->ClNext = NULL;
Yap_heap_regs->logdb_erased_marker->ClSize = (UInt)NEXTOP(((LogUpdClause *)NULL)->ClCode,e);
Yap_heap_regs->logdb_erased_marker->ClCode->opc = Yap_opcode(_op_fail);
REINIT_LOCK(Yap_heap_regs->logdb_erased_marker->ClLock);
INIT_CLREF_COUNT(Yap_heap_regs->logdb_erased_marker);
}