remove unused code

Author: Anthony Yang

setup.py

@@ -7,7 +7,7 @@
 import subprocess
 
 PACKAGE_NAME = 'harmony_model_checker'
-PACKAGE_VERSION = "0.0.20a14"
+PACKAGE_VERSION = "0.0.20a15"
 
 PACKAGE_CONFIG = Path.home() / ".harmony-model-checker"
 
@@ -18,10 +18,6 @@ def run(self):
             PACKAGE_CONFIG.mkdir()
         super().run()
 
-        pkg_version_file = PACKAGE_CONFIG / "package_version"
-        with pkg_version_file.open("w") as f:
-            f.write(PACKAGE_VERSION)
-
         harmony_cmd = shutil.which("harmony")
         if harmony_cmd is not None:
             ec = subprocess.run([harmony_cmd, "--build-model-checker"])