From 52e722c818292fcf1105083c5c4ecff957c53a38 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 1 May 2016 18:35:55 +0200
Subject: [PATCH] * spot/misc/tmpfile.hh: Disallow copy.

---
 spot/misc/tmpfile.hh | 3 +++
 1 file changed, 3 insertions(+)

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<temporary_file*>::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