From d558b9f558a4765f6c6d0a58cfa35f654a0583ba Mon Sep 17 00:00:00 2001 From: VedantDave Date: Tue, 28 Mar 2023 20:21:58 +0200 Subject: [PATCH] Changing names for clean and noisy environments via version --- DPI/utils.py | 1 + 1 file changed, 1 insertion(+) diff --git a/DPI/utils.py b/DPI/utils.py index 7867eeb..91e7b2e 100644 --- a/DPI/utils.py +++ b/DPI/utils.py @@ -193,6 +193,7 @@ def make_env(args): frame_skip=args.action_repeat, video_recording=args.save_video, video_recording_dir=args.work_dir, + version=args.version, ) return env