Changes in src/ResolvExpr/ResolveAssertions.cc [aeb8f70:b3bd772]

File:

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

src/ResolvExpr/ResolveAssertions.cc

@@ -275 +275 @@
                                         std::move(newNeed), std::move(newOpenVars), crntResnSlot );
                         } else {
-                                delete adjType;
+                                //delete adjType;
                         }
                 }
@@ -396 +396 @@
                                                 Cost resCost = coster.get( compat );
                                                 auto it = found.emplace( SymTab::Mangler::mangleType( resType ), resCost );
-                                                delete resType;
                                                 if ( it.second == false && it.first->second < resCost ) continue;