pyk/kprove: Make sure use_dir is Path.
@@ -82,9 +82,10 @@ class KProve(KPrint):
def __init__(self, kompiled_directory, main_file_name=None, use_directory=None):
super(KProve, self).__init__(kompiled_directory)
self.directory = Path(self.kompiled_directory).parent
+ self.use_directory: Path
if not use_directory:
self._temp_dir = TemporaryDirectory()
- self.use_directory = self._temp_dir.name
+ self.use_directory = Path(self._temp_dir.name)
else:
self.use_directory = Path(use_directory)
check_dir_path(self.use_directory)
