From 13c506ab160f898a1dd4412ef6b48d43f802aa2d Mon Sep 17 00:00:00 2001
From: Milo Davis <davis.mil@husky.neu.edu>
Date: Fri, 19 Jan 2018 13:55:38 +0100
Subject: [PATCH] Test: remove duplicate typechecking of contracts

---
 test/test_contracts.sh | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/test/test_contracts.sh b/test/test_contracts.sh
index a5c73e7eb..41b60eb00 100755
--- a/test/test_contracts.sh
+++ b/test/test_contracts.sh
@@ -22,13 +22,6 @@ CONTRACT_PATH=contracts
 
 printf "\n\n"
 
-# Assert well typed
-echo "Typechecking contracts in '${CONTRACT_PATH}'"
-ls $CONTRACT_PATH \
-    | xargs -I{} $client typecheck program $CONTRACT_PATH/{} > /dev/null
-
-printf "All contracts are well typed\n\n"
-
 # Assert all contracts typecheck
 for contract in `ls $CONTRACT_PATH/*.tz`; do
     printf "[Typechecking %s]\n" "$contract";