diff --git a/momba/gym/__init__.py b/momba/gym/__init__.py
index e972d6e3..acc08236 100644
--- 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
index b57c5ab6..cb9cf042 100644
--- 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