From 23ea0878f0f843770e1175d8fc80273227c7b583 Mon Sep 17 00:00:00 2001
From: Martin Suda <sudam@cs.man.ac.uk>
Date: Fri, 10 Nov 2017 16:46:28 +0100
Subject: [PATCH] types are shared, don't delete Symbol's types

---
 Kernel/Signature.cpp | 9 ---------
 Kernel/Signature.hpp | 1 -
 2 files changed, 10 deletions(-)

diff --git a/Kernel/Signature.cpp b/Kernel/Signature.cpp
index b0984ac02f..d9d879505e 100644
--- 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
index be53047459..94506d6906 100644
--- 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);