From 0b8c0dad3f5742bb3e261e4232bf3da9efb614c8 Mon Sep 17 00:00:00 2001
From: John David Pressman <jd@jdpressman.com>
Date: Mon, 14 Oct 2019 15:48:20 -0700
Subject: [PATCH] Add failing deep set removal test to contracts

---
 src/test/contracts/set_arithmetic.ligo | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/test/contracts/set_arithmetic.ligo b/src/test/contracts/set_arithmetic.ligo
index f38c1319f..879d13940 100644
--- a/src/test/contracts/set_arithmetic.ligo
+++ b/src/test/contracts/set_arithmetic.ligo
@@ -17,6 +17,9 @@ function remove_op (const s : set(string)) : set(string) is
 function remove_syntax (var s : set(string)) : set(string) is
   begin remove "foobar" from set s; end with s
 
+function remove_deep (var s : set(string) * nat) : set(string) * nat is
+  begin remove "foobar" from set s.0; end with s
+
 function patch_op (var s: set(string)) : set(string) is
   begin patch s with set ["foobar"]; end with s