Index: src/ResolvExpr/Alternative.h
===================================================================
--- src/ResolvExpr/Alternative.h	(revision 6b0b624129f6017f7706b516a24a52e382e3a334)
+++ src/ResolvExpr/Alternative.h	(revision fc56cdbf036d8e5a6b7f729bba6c22479005dd12)
@@ -35,6 +35,4 @@
 		~Alternative();
 
-		void initialize( const Alternative &src, Alternative &dest );
-
 		void print( std::ostream &os, int indent = 0 ) const;