types are shared, don't delete Symbol's types

ModelWriter · Nov 15, 2017 · 23ea087 · 23ea087
1 parent b12d36b
commit 23ea087
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 10 deletions.
diff --git a/Kernel/Signature.cpp b/Kernel/Signature.cpp
@@ -72,15 +72,6 @@ Signature::Symbol::Symbol(const vstring& nm,unsigned arity, bool interpreted, bo
   }
 } // Symbol::Symbol
 
-Signature::Symbol::~Symbol()
-{
-  CALL("Signature::Symbol::~Symbol");
-
-  if (_type) {
-    delete _type;
-  }
-}
-
 /**
  * Deallocate function Symbol object
  */

diff --git a/Kernel/Signature.hpp b/Kernel/Signature.hpp
@@ -99,7 +99,6 @@ class Signature
     /** if used in a unit **/
     unsigned _inUnit : 1;
 
-    ~Symbol();
   public:
     /** standard constructor */
     Symbol(const vstring& nm,unsigned arity, bool interpreted=false, bool stringConstant=false,bool numericConstant=false,bool overflownConstant=false);