From 9de16289bacfaa103f0e87c5f7a8e54aa41b288d Mon Sep 17 00:00:00 2001
From: Damien Elmes <git@ichi2.net>
Date: Fri, 26 Aug 2011 17:28:59 +0900
Subject: [PATCH] always mark gravestones

---
 anki/deck.py | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/anki/deck.py b/anki/deck.py
index da52a4b3b..4a0fa79ed 100644
--- a/anki/deck.py
+++ b/anki/deck.py
@@ -215,9 +215,6 @@ qconf=?, conf=?, data=?""",
     ##########################################################################
 
     def _logDels(self, ids, type):
-        if not self.syncingEnabled():
-            # no deletion log required if deck not syncable
-            return
         # limit ids to those created prior to last sync
         tbl = "cards" if type == DEL_CARD else "facts"
         ids = self.db.list(