chore: ignore type errors in gym

koehlma · May 25, 2023 · ffbc3d1 · ffbc3d1
1 parent 7b0daf7
commit ffbc3d1
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/momba/gym/__init__.py b/momba/gym/__init__.py
@@ -2,6 +2,8 @@
 #
 # Copyright (C) 2019-2021, Saarland University
 # Copyright (C) 2019-2021, Maximilian Köhl <koehl@cs.uni-saarland.de>
+#
+# type: ignore
 
 """
 A formal methods based toolbox for reinforcement learning.

diff --git a/momba/gym/env.py b/momba/gym/env.py
@@ -2,6 +2,8 @@
 #
 # Copyright (C) 2019-2021, Saarland University
 # Copyright (C) 2019-2021, Maximilian Köhl <koehl@cs.uni-saarland.de>
+#
+# type: ignore
 
 from __future__ import annotations