[dsicretefunction.default] added missing dtor