Changes in src/ResolvExpr/Alternative.cc [2c187378:aeb8f70]

File:

• src/ResolvExpr/Alternative.cc (modified) (1 diff)

src/ResolvExpr/Alternative.cc

@@ -105 +105 @@
 
         Alternative::~Alternative() {
+                for ( AssertionItem& n : need ) { delete n.decl; }
                 delete expr;
         }