* struct map_function: add a virtual dtor (turns off lots of compiler
authorRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Wed, 19 Oct 2005 01:46:14 +0000 (01:46 +0000)
committerRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Wed, 19 Oct 2005 01:46:14 +0000 (01:46 +0000)
  warnings).

ginac/basic.h

index e224908ace4a426dbcfc11587489722c9b50da06..1434d2ba732612622efc2298acf83d590ada57b8 100644 (file)
@@ -83,6 +83,7 @@ extern compare_statistics_t compare_statistics;
 
 /** Function object for map(). */
 struct map_function {
+       virtual ~map_function() {}
        typedef const ex & argument_type;
        typedef ex result_type;
        virtual ex operator()(const ex & e) = 0;