From dfa6594ded1fcb1a29ca2772dedb8ebd120bd131 Mon Sep 17 00:00:00 2001 From: yann300 Date: Fri, 14 Jun 2019 21:25:10 +0200 Subject: [PATCH] standard --- src/remixAppManager.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/remixAppManager.js b/src/remixAppManager.js index 4c0ea8b61a..73c620e3ce 100644 --- a/src/remixAppManager.js +++ b/src/remixAppManager.js @@ -145,7 +145,7 @@ export class RemixAppManager extends AppManagerApi { new Plugin(vyper), new Plugin(etherscan), new Plugin(ethdoc), - new Plugin(mythx) + new Plugin(mythx), new Plugin(provable) ] }