From 05ca435714b8aa255be487052db3be75a1dd82aa Mon Sep 17 00:00:00 2001
From: Mike Gimelfarb <35513382+mike-gimelfarb@users.noreply.github.com>
Date: Mon, 1 Jul 2024 01:51:36 -0400
Subject: [PATCH] Update env.py

---
 pyRDDLGym_rl/core/env.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pyRDDLGym_rl/core/env.py b/pyRDDLGym_rl/core/env.py
index ed68845..1881123 100644
--- a/pyRDDLGym_rl/core/env.py
+++ b/pyRDDLGym_rl/core/env.py
@@ -29,8 +29,8 @@ def __init__(self, domain: str,
                  enforce_action_count_non_bool: bool=True,
                  debug_path: str=None,
                  log_path: str=None,
-                 backend: RDDLSimulator=RDDLSimulator,
-                 backend_kwargs: typing.Dict={}):
+                 backend: typing.Type=RDDLSimulator,
+                 backend_kwargs: typing.Dict={}) -> None:
         '''Creates a new gym environment from the given RDDL domain + instance.
         
         :param domain: the RDDL domain