Index: src/ResolvExpr/Alternative.h
===================================================================
--- src/ResolvExpr/Alternative.h	(revision ac9ca967fc4b0004f809382a113690d4c01cae00)
+++ src/ResolvExpr/Alternative.h	(revision ba7aa2de23109eea3961fea88a1aeeeb3989db22)
@@ -5,5 +5,5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// Alternative.h --
+// Alternative.h -- 
 //
 // Author           : Richard C. Bilson
@@ -12,5 +12,5 @@
 // Last Modified On : Sat May 16 23:54:39 2015
 // Update Count     : 2
-//
+// 
 
 #ifndef ALTERNATIVE_H
@@ -32,12 +32,10 @@
 		Alternative( const Alternative &other );
 		Alternative &operator=( const Alternative &other );
-		Alternative( Alternative && other );
-		Alternative &operator=( Alternative && other );
 		~Alternative();
-
+  
 		void initialize( const Alternative &src, Alternative &dest );
-
+  
 		void print( std::ostream &os, int indent = 0 ) const;
-
+  
 		Cost cost;
 		Cost cvtCost;