Update env.py

pyrddlgym-project · Jul 1, 2024 · 05ca435 · 05ca435
1 parent eb375a8
commit 05ca435
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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