Skip to content

Commit

Permalink
fix pyright
Browse files Browse the repository at this point in the history
  • Loading branch information
younik committed Jun 28, 2023
1 parent e3677f1 commit 1661e87
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion minari/dataset/minari_dataset.py
Original file line number Diff line number Diff line change
Expand Up @@ -192,7 +192,7 @@ def __init__(
self._additional_data_id = 0
if episode_indices is None:
episode_indices = np.arange(self._data.total_episodes)
self.episode_indices = episode_indices
self.episode_indices: np.ndarray = episode_indices

self.spec = MinariDatasetSpec(
env_spec=self._data.env_spec,
Expand Down

0 comments on commit 1661e87

Please sign in to comment.