[gnome-code-assistance] [backends/c] Dispose makefile cache

[Jesse van den Kieboom <jessevdk src gnome org>]

commit b4a67f5f6f6849e68fdf23699b989204ef866537
Author: Jesse van den Kieboom <jessevdk gmail com>
Date:   Tue Nov 12 18:53:14 2013 +0100

    [backends/c] Dispose makefile cache

 backends/c/service.py |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/backends/c/service.py b/backends/c/service.py
index 0283989..f49afdd 100644
--- a/backends/c/service.py
+++ b/backends/c/service.py
@@ -131,6 +131,7 @@ class Service(transport.Service, transport.Project):
             rdoc.diagnostics.append(self._map_cdiagnostic(d))
 
     def dispose(self, doc):
+        self.makefile.dispose(doc.path)
         doc.tu = None
 
     def _map_cseverity(self, severity):