Trim trailing whitespaces

eventb_to_txt/abstract.py

@@ -36,3 +36,9 @@ def _print_comment(self, data, f):
                 f.write(data['comment'])
 
         f.write('\n')
+
+    def _trim_trailing_whitespaces(self, path):
+        lines = ''.join([line.rstrip() + '\n' for line in open(path).readlines()])
+
+        with open(path, 'w') as f:
+            f.writelines(lines)

eventb_to_txt/context.py

@@ -85,6 +85,8 @@ def to_txt(self, out_path, merge=False):
 
             f.write('end\n')
 
+        self._trim_trailing_whitespaces(out_path)
+
     def __print_context_head(self, f):
         f.write('context ' + self.get_component_name())
 

eventb_to_txt/machine.py

@@ -192,6 +192,8 @@ def to_txt(self, out_path, merge=False):
 
             f.write('end\n')
 
+        self._trim_trailing_whitespaces(out_path)
+
     def __print_machine_head(self, f):
         f.write('machine ' + self.get_component_name())
 

setup.py

@@ -6,7 +6,7 @@
 
 setuptools.setup(
     name='eventb-to-txt',
-    version='1.3',
+    version='1.3.1',
     author='Ilya Shchepetkov',
     author_email='ilya.shchepetkov@yandex.ru',
     license='LICENSE.txt',