Changes in src/ResolvExpr/AlternativeFinder.cc [afc1045:dc2e7e0]

File:

• src/ResolvExpr/AlternativeFinder.cc (modified) (2 diffs)

src/ResolvExpr/AlternativeFinder.cc

@@ -10 +10 @@
 // Created On       : Sat May 16 23:52:08 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Wed Feb 10 17:00:04 2016
+// Last Modified On : Wed Apr 20 14:24:03 2016
 // Update Count     : 24
 //
@@ -982 +982 @@
                 } // for
         }
+
+        void AlternativeFinder::visit( ImplicitCopyCtorExpr * impCpCtorExpr ) {
+                alternatives.push_back( Alternative( impCpCtorExpr->clone(), env, Cost::zero ) );
+        }
 } // namespace ResolvExpr