diff --git a/src/support/TempFile.h b/src/support/TempFile.h
index 6410dda7fc..b99ee756a1 100644
--- a/src/support/TempFile.h
+++ b/src/support/TempFile.h
@@ -26,6 +26,10 @@ class FileName;
  * of this class must stay alive as long as the file is needed.
  */
 class TempFile {
+	/// noncopyable
+	TempFile(TempFile const &);
+	/// nonassignable
+	TempFile & operator=(TempFile const &);
 public:
 	/**
 	 *Create a temporary file with the given mask.