Index: tol_tests/tol/Bugzilla/bug_001728/check.tol
===================================================================
--- tol_tests/tol/Bugzilla/bug_001728/check.tol	(revision 06a0d4245f5e123dfbb7317f0cff00baa35ef231)
+++ tol_tests/tol/Bugzilla/bug_001728/check.tol	(revision 06a0d4245f5e123dfbb7317f0cff00baa35ef231)
@@ -0,0 +1,8 @@
+Set a = [[
+  Set b = @Anything(2)
+]];
+Set a::b := Copy(Empty); 
+// No se borra la estructura de a:
+Text structName = StructName(a::b); // -> "@Anything"
+// Esto da problemas al copiarlo:
+Set DeepCopy(a);
Index: tol_tests/tol/Bugzilla/bug_001728/test.tol
===================================================================
--- tol_tests/tol/Bugzilla/bug_001728/test.tol	(revision 06a0d4245f5e123dfbb7317f0cff00baa35ef231)
+++ tol_tests/tol/Bugzilla/bug_001728/test.tol	(revision 06a0d4245f5e123dfbb7317f0cff00baa35ef231)
@@ -0,0 +1,30 @@
+//////////////////////////////////////////////////////////////////////////////
+// FILE   : test.tol
+// PURPOSE: test for a fixed bug
+//////////////////////////////////////////////////////////////////////////////
+
+//Sets the bugzilla identifier number, your e-mail and the bugŽs summary 
+Real bugNum_ = 1728;
+Text email_ = "jsperez@bayesforecast.com"; 
+Text summary_ = "La redefinición de conjuntos no elimina la estructura";
+Text link_ = GetTolBugzillaLink(bugNum_);
+
+//Write here the initial test TOL code if needed
+Real numErr0 = Copy(NError);
+
+Set Include("check.tol");
+
+Real numErr1 = Copy(NError);
+
+Set partialResults_ = [[numErr0, numErr1, structName]];
+
+//This is a messure of the success of the test 
+Real quality_ = If(Text structName=="" & EQ(numErr0, numErr1), 1, 0);
+
+//Return the results 
+Set resultStr_ = @strTestStatus(summary_, link_, quality_,
+                                "Partial results = "<<partialResults_,
+                                "NO DBServerType", "NO DBServerHost", "NO DBAlias",
+                                email_);
+WriteLn(""<<resultStr_);
+resultStr_
