ah, forgot one
#
# SPDX-FileCopyrightText: 2015-2020 Daniel Dietsch <dietsch@informatik.uni-freiburg.de>
# SPDX-FileCopyrightText: 2015-2020 Matthias Heizmann <heizmann@informatik.uni-freiburg.de>
-#
+# SPDX-FileCopyrightText: 2015-2020 Dirk Beyer <https://www.sosy-lab.org>
+
# SPDX-License-Identifier: Apache-2.0
from . import ultimate
