diff --git a/spot/misc/tmpfile.hh b/spot/misc/tmpfile.hh index 1a912bfe8..7bf887636 100644 --- a/spot/misc/tmpfile.hh +++ b/spot/misc/tmpfile.hh @@ -52,6 +52,9 @@ namespace spot typedef std::list::iterator cleanpos_t; SPOT_LOCAL temporary_file(char* name, cleanpos_t cp); + + temporary_file(const temporary_file& other) = delete; + virtual ~temporary_file() override; const char* name() const