# HG changeset patch
# User drewp@bigasterisk.com
# Date 1471671580 0
# Node ID c65a7065910cca93888c6d7e397201e6b66f9bbd
# Parent  b91e8f26650e280c0846095780260c20c99a93bb
Patch.shortSummary
Ignore-this: 7fc381ee3d868fbebb9d0358c89ed6aa

diff -r b91e8f26650e -r c65a7065910c light9/rdfdb/patch.py
--- a/light9/rdfdb/patch.py	Thu Jun 16 06:17:13 2016 +0000
+++ b/light9/rdfdb/patch.py	Sat Aug 20 05:39:40 2016 +0000
@@ -62,7 +62,10 @@
         delLines = ["  -%s" % formatQuad(q) for q in self.delQuads]
         addLines = ["  +%s" % formatQuad(q) for q in self.addQuads]
         return "\nPatch:\n" + "\n".join(delLines) + "\n" + "\n".join(addLines)
-                
+
+    def shortSummary(self):
+        return "[-%s +%s]" % (len(self.delQuads), len(self.addQuads))
+        
     @classmethod
     def fromDiff(cls, oldGraph, newGraph):
         """