Changes in src/AST/TypeSubstitution.cpp [dafe9e1:172d9342]

File:

• src/AST/TypeSubstitution.cpp (modified) (2 diffs)

src/AST/TypeSubstitution.cpp

@@ -9 +9 @@
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Andrew Beach
-// Last Modified On : Mon Jun  3 13:26:00 2017
-// Update Count     : 5
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Thu Mar 16 15:54:35 2017
+// Update Count     : 4
 //
 
@@ -26 +26 @@
 }
 
-TypeSubstitution::~TypeSubstitution() {}
+TypeSubstitution::~TypeSubstitution() {
+        for ( TypeEnvType::iterator i = typeEnv.begin(); i != typeEnv.end(); ++i ) {
+                delete( i->second );
+        }
+        for ( VarEnvType::iterator i = varEnv.begin(); i != varEnv.end(); ++i ) {
+                delete( i->second );
+        }
+}
 
 TypeSubstitution &TypeSubstitution::operator=( const TypeSubstitution &other ) {