Merge pull request #3054 from hannes-steffenhagen-diffblue/feature-remove_temp_working_dirt

Remove unused type temp_working_dirt

Author: tautschnig

src/util/tempdir.cpp

@@ -101,17 +101,3 @@ temp_dirt::~temp_dirt()
 {
   clear();
 }
-
-temp_working_dirt::temp_working_dirt(const std::string &name_template):
-  temp_dirt(name_template)
-{
-  old_working_directory=get_current_working_directory();
-  if(chdir(path.c_str())!=0)
-    CHECK_RETURN(false);
-}
-
-temp_working_dirt::~temp_working_dirt()
-{
-  if(chdir(old_working_directory.c_str())!=0)
-    CHECK_RETURN(false);
-}

src/util/tempdir.h

@@ -29,17 +29,4 @@ class temp_dirt
   ~temp_dirt();
 };
 
-// Produces a temporary directory,
-// chdir()s there,
-// and deletes it upon destruction,
-// and goes back to the old working directory.
-class temp_working_dirt:public temp_dirt
-{
-public:
-  std::string old_working_directory;
-
-  explicit temp_working_dirt(const std::string &name_template);
-  ~temp_working_dirt();
-};
-
 #endif // CPROVER_UTIL_TEMPDIR_H