base class destructors public virtual or protected non-virtual

2026-09-07 11:51:47 +02:00 · 2019-06-30 22:30:53 -07:00
parent d76ee0ca62
commit f34fc4162d
5 changed files with 23 additions and 17 deletions
@@ -14,6 +14,7 @@
 // You should have received a copy of the GNU General Public License
 // along with this program.  If not, see <https://www.gnu.org/licenses/>.

+#include <functional>
 #include "Machine.hh"
 #include "StringUtil.hh"
 #include "PatternMatch.hh"