chg: Make mypy happy

pull/321/head
Raphaël Vinot 2021-06-21 11:18:15 -07:00
parent fca66ddd7d
commit 484a7b7c27
1 changed files with 2 additions and 1 deletions

View File

@ -3,8 +3,9 @@
from glob import glob from glob import glob
import json import json
from typing import Dict
all_uuids = {} all_uuids: Dict[str, str] = {}
for definition in glob('./objects/*/definition.json'): for definition in glob('./objects/*/definition.json'):
with open(definition, 'r') as f: with open(definition, 'r') as f:
d = json.load(f) d = json.load(f)