* struct map_function: add a virtual dtor (turns off lots of compiler

[ginac.git] / ginac / basic.h

diff --git a/ginac/basic.h b/ginac/basic.h
index e224908ace4a426dbcfc11587489722c9b50da06..1434d2ba732612622efc2298acf83d590ada57b8 100644 (file)
--- a/ginac/basic.h
+++ b/ginac/basic.h
@@ -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;