Index: tol_tests/tol/Bugzilla/bug_001117/check.1.tol
===================================================================
--- tol_tests/tol/Bugzilla/bug_001117/check.1.tol	(revision 43de57ec2e71d50f3a66c7c781689008d3729f2f)
+++ tol_tests/tol/Bugzilla/bug_001117/check.1.tol	(revision 43de57ec2e71d50f3a66c7c781689008d3729f2f)
@@ -0,0 +1,5 @@
+Set a = [[ Real a1 = 1 ]];
+Real SetIndexByName(a);
+Set Remove(a, 1);
+Set Copy(a);
+
Index: tol_tests/tol/Bugzilla/bug_001117/check.2.tol
===================================================================
--- tol_tests/tol/Bugzilla/bug_001117/check.2.tol	(revision 43de57ec2e71d50f3a66c7c781689008d3729f2f)
+++ tol_tests/tol/Bugzilla/bug_001117/check.2.tol	(revision 43de57ec2e71d50f3a66c7c781689008d3729f2f)
@@ -0,0 +1,2 @@
+Set b = Copy(Empty);
+Real SetIndexByName(b);
Index: tol_tests/tol/Bugzilla/bug_001117/test.tol
===================================================================
--- tol_tests/tol/Bugzilla/bug_001117/test.tol	(revision 43de57ec2e71d50f3a66c7c781689008d3729f2f)
+++ tol_tests/tol/Bugzilla/bug_001117/test.tol	(revision 43de57ec2e71d50f3a66c7c781689008d3729f2f)
@@ -0,0 +1,38 @@
+/* -*- mode: C++ -*- */
+//////////////////////////////////////////////////////////////////////////////
+// FILE   : test.tol
+// PURPOSE: test for a resolved bug
+//////////////////////////////////////////////////////////////////////////////
+
+//Sets the bugzilla identifier number, your e-mail and the bugŽs summary
+  Real bugNum_ =  1117;
+  Text email_ = "vdebuen@tol-project.org"; 
+  Text summary_="The Empty Set and the Set Index";
+  Text link_ = GetTolBugzillaLink(bugNum_);
+
+  //Write here the initial test TOL code if needed
+  Real numErr0 = Copy(NError);
+  Real numWar0 = Copy(NWarning);
+
+  #Embed "check.1.tol";
+  #Embed "check.2.tol";
+
+  Real numErr1 = Copy(NError);
+  Real numWar1 = Copy(NWarning);
+
+
+  Set partialResults_ = [[ numErr0, numErr1]];
+
+//This is a messure of the success of the test 
+  Real quality_ = And(numErr1 == numErr0, numWar1 == numWar0);
+
+//Return the results 
+  Set resultStr_ = @strTestStatus(summary_, link_, quality_,
+                    "Partial results = "<<partialResults_,
+                    "NO DBServerType", "NO DBServerHost", "NO DBAlias",
+                    email_);
+  WriteLn(""<<resultStr_);
+  resultStr_;
+
+/* */
+