Changes in src/ResolvExpr/ExplodedActual.h [432ce7a:62194cb]

File:

• src/ResolvExpr/ExplodedActual.h (modified) (2 diffs)

src/ResolvExpr/ExplodedActual.h

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// ExplodedActual.h --
+// Alternative.h --
 //
 // Author           : Aaron B. Moss
@@ -32 +32 @@
 
                 ExplodedActual() : env(), cost(Cost::zero), exprs() {}
+
                 ExplodedActual( const Alternative& actual, const SymTab::Indexer& indexer );
-                ExplodedActual(ExplodedActual&&) = default;
-                ExplodedActual& operator= (ExplodedActual&&) = default;
         };
 }
-
-// Local Variables: //
-// tab-width: 4 //
-// mode: c++ //
-// compile-command: "make install" //
-// End: //