# HG changeset patch
# User gedeone-octave <marco.vassallo@outlook.com>
# Date 1373575478 -7200
# Node ID fe2264f1e789ec22d66a789e53f190bb0f045d0e
# Parent  c725b4be09e3724d8dde81b360574f56178b16c4
Removed output when destructor is called

diff -r c725b4be09e3 -r fe2264f1e789 src/functionspace.h
--- a/src/functionspace.h	Thu Jul 11 22:35:10 2013 +0200
+++ b/src/functionspace.h	Thu Jul 11 22:44:38 2013 +0200
@@ -36,7 +36,7 @@
   void print (std::ostream& os, bool pr_as_read_syntax = false) const
   { os << "Functional Space : " << (*fsp).str(true) << std::endl; }
 
-  ~functionspace(void) { std::cout << "delete fsp "<< std::endl; }
+  ~functionspace(void) {}
 
   bool is_defined (void) const { return true; }