Changes in src/ResolvExpr/AlternativeFinder.cc [de62360d:5f2f2d7]

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 : Peter A. Buhr
-// Last Modified On : Mon Jun 22 17:19:54 2015
-// Update Count     : 17
+// Last Modified On : Mon Jun  8 14:53:58 2015
+// Update Count     : 14
 //
 
@@ -545 +545 @@
                         NameExpr *fname;
                         if ( ( fname = dynamic_cast<NameExpr *>( untypedExpr->get_function()))
-                                 && ( fname->get_name() == std::string("&&")) ) {
-                                alternatives.push_back( Alternative( untypedExpr->clone(), env, Cost()) );
+                                 && ( fname->get_name() == std::string("LabAddress")) ) {
+                                alternatives.push_back( Alternative( untypedExpr, env, Cost()) );
                                 return;
                         }