From 6f471487ab5139b122a89cc70f8e016f392aa03f Mon Sep 17 00:00:00 2001 From: Nat Date: Tue, 23 Feb 2021 10:55:07 +0000 Subject: [PATCH] Rename __init__.y.py to __init__.py Fix flattening.export package so that it is correctly included in installed package. --- slither/tools/flattening/export/__init__.py | 1 + slither/tools/flattening/export/__init__.y.py | 0 2 files changed, 1 insertion(+) create mode 100644 slither/tools/flattening/export/__init__.py delete mode 100644 slither/tools/flattening/export/__init__.y.py diff --git a/slither/tools/flattening/export/__init__.py b/slither/tools/flattening/export/__init__.py new file mode 100644 index 000000000..d3f5a12fa --- /dev/null +++ b/slither/tools/flattening/export/__init__.py @@ -0,0 +1 @@ + diff --git a/slither/tools/flattening/export/__init__.y.py b/slither/tools/flattening/export/__init__.y.py deleted file mode 100644 index e69de29bb..000000000