From 2ddb9bbd28040afc2324c9d08a259c749119034b Mon Sep 17 00:00:00 2001
From: Josselin <josselin@trailofbits.com>
Date: Thu, 4 Apr 2019 18:11:16 +0100
Subject: [PATCH] Update embark directory

---
 slither/slither.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/slither/slither.py b/slither/slither.py
index 34e42d539..2c034e63c 100644
--- a/slither/slither.py
+++ b/slither/slither.py
@@ -94,7 +94,8 @@ class Slither(SlitherSolc):
         if stderr:
             # Embark might return information to stderr, but compile without issue
             logger.error("%s"%stderr.decode())
-        infile = os.path.join(contract, 'embark.contractInfo.json')
+        infile = os.path.join(contract, 'crytic-export', 'contracts.json')
+        print(infile)
         if not os.path.isfile(infile):
             logger.error(red('Embark did not generate the AST file. Is Embark installed (npm install -g embark)? Is embark-contract-info installed? (npm install -g embark).'))
             sys.exit(-1)