diff --git a/.github/workflows/security.yml b/.github/workflows/security.yml
index 5d0707a7..81192cca 100644
--- a/.github/workflows/security.yml
+++ b/.github/workflows/security.yml
@@ -23,7 +23,7 @@ jobs:
               #  "slither_config",
               #  "truffle",
               #  "upgradability"]
-              # "prop",
+              #  "prop",
               #  "flat"]
     steps:
     - uses: actions/checkout@v1
diff --git a/.gitmodules b/.gitmodules
index 3739d2d9..39fadcb6 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,3 @@
 [submodule "CI/slither"]
 	path = CI/slither
-	url = https://github.com/crytic/slither.git
+	url = https://github.com/Tenderize/slither.git
diff --git a/CI/slither b/CI/slither
index 3bc22a9b..2f942798 160000
--- a/CI/slither
+++ b/CI/slither
@@ -1 +1 @@
-Subproject commit 3bc22a9b143828edec956f170bdef7234d6707d6
+Subproject commit 2f942798f12060e8aee81d690ec292b22e96b992