Changes in src/ResolvExpr/ExplodedActual.h [d286cf68:8d7bef2]

File:

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

src/ResolvExpr/ExplodedActual.h

@@ -16 +16 @@
 #pragma once
 
-#include <memory>
 #include <vector>
 
@@ -29 +28 @@
                 TypeEnvironment env;
                 Cost cost;
-                std::vector< std::unique_ptr<Expression> > exprs;
+                std::vector< Expression* > exprs;
 
                 ExplodedActual() : env(), cost(Cost::zero), exprs() {}
+
                 ExplodedActual( const Alternative& actual, const SymTab::Indexer& indexer );
-                ExplodedActual(ExplodedActual&&) = default;
-                ExplodedActual& operator= (ExplodedActual&&) = default;
         };
 }