From 8a88243e09a4c5b40c81f975b4d6bef7068d48d7 Mon Sep 17 00:00:00 2001
From: Martin Bauer <martin.bauer@fau.de>
Date: Thu, 7 Jun 2018 09:56:51 +0200
Subject: [PATCH] max domain size info fix
---
max_domain_size_info.py | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/max_domain_size_info.py b/max_domain_size_info.py
index 31d73a3b..e2db3f9b 100644
--- a/max_domain_size_info.py
+++ b/max_domain_size_info.py
@@ -170,3 +170,7 @@ class MaxDomainSizeInfo:
def __repr__(self):
return self.__str__()
+
+
+if __name__ == '__main__':
+ print(MaxDomainSizeInfo())
--
GitLab