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