Browse Source

Fixed issue with environment seeding

Maxime Chevalier-Boisvert 7 years ago
parent
commit
1e5d26e4c0
1 changed files with 1 additions and 1 deletions
  1. 1 1
      gym_minigrid/minigrid.py

+ 1 - 1
gym_minigrid/minigrid.py

@@ -25,7 +25,7 @@ COLORS = {
     'grey'  : (100, 100, 100)
 }
 
-COLOR_NAMES = list(COLORS.keys())
+COLOR_NAMES = sorted(list(COLORS.keys()))
 
 # Used to map colors to integers
 COLOR_TO_IDX = {