Dafny: fixed bug in type cloning, as part of refinement machinery

1 files changed, 4 insertions, 4 deletions

diff --git a/Source/Dafny/RefinementTransformer.cs b/Source/Dafny/RefinementTransformer.cs
index ed9628dc..5c607804 100644
--- a/Source/Dafny/RefinementTransformer.cs
+++ b/Source/Dafny/RefinementTransformer.cs
@@ -186,16 +186,16 @@ namespace Microsoft.Dafny {
         return t;

       } else if (t is SetType) {

         var tt = (SetType)t;

-        return new SetType(tt.Arg);

+        return new SetType(CloneType(tt.Arg));

       } else if (t is SeqType) {

         var tt = (SeqType)t;

-        return new SeqType(tt.Arg);

+        return new SeqType(CloneType(tt.Arg));

       } else if (t is MultiSetType) {

         var tt = (MultiSetType)t;

-        return new MultiSetType(tt.Arg);

+        return new MultiSetType(CloneType(tt.Arg));

       } else if (t is MapType) {

         var tt = (MapType)t;

-        return new MapType(tt.Domain, tt.Range);

+        return new MapType(CloneType(tt.Domain), CloneType(tt.Range));

       } else if (t is UserDefinedType) {

         var tt = (UserDefinedType)t;

         return new UserDefinedType(Tok(tt.tok), tt.Name, tt.TypeArgs.ConvertAll(CloneType));