[vala] Remove unused CodeContext.save_cheaders property

[Jürg Billeter <juergbi src gnome org>]

commit a9c4f3d02fff6015e41f0a3bd617a03774070249
Author: Jürg Billeter <j bitron ch>
Date:   Fri Apr 10 12:00:04 2009 +0200

    Remove unused CodeContext.save_cheaders property
---
 vala/valacodecontext.vala |    4 ----
 1 files changed, 0 insertions(+), 4 deletions(-)

diff --git a/vala/valacodecontext.vala b/vala/valacodecontext.vala
index 771a1e5..ef66dd2 100644
--- a/vala/valacodecontext.vala
+++ b/vala/valacodecontext.vala
@@ -152,10 +152,6 @@ public class Vala.CodeContext {
 		get { return save_temps; }
 	}
 
-	public bool save_cheaders {
-		get { return save_csources || null != library; }
-	}
-
 	public Report report { get; set; default = new Report ();}
 
 	private Gee.List<SourceFile> source_files = new ArrayList<SourceFile> ();