Update Source/DafnyCore/Backends/Dafny/DafnyCodeGenerator.cs

dafny-lang · Jan 15, 2025 · c8b1739 · c8b1739
1 parent 5e7d312
commit c8b1739
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Source/DafnyCore/Backends/Dafny/DafnyCodeGenerator.cs b/Source/DafnyCore/Backends/Dafny/DafnyCodeGenerator.cs
@@ -282,8 +282,8 @@ protected override IClassWriter CreateTrait(string name, bool isExtern, List<Typ
           ? DAST.TraitType.create_ObjectTrait()
           : TraitType.create_GeneralTrait();
         var downcastableTraits = DowncastableTraitsTypes(trait);
-        var downcastableTratitTypes = downcastableTraits.Select(GenType).ToList();
-        return new ClassWriter(this, typeParameters.Any(), builder.Trait(name, typeParams, parents, ParseAttributes(trait.Attributes), GetDocString(trait), traitType, downcastableTratitTypes));
+        var downcastableTraitTypes = downcastableTraits.Select(GenType).ToList();
+        return new ClassWriter(this, typeParameters.Any(), builder.Trait(name, typeParams, parents, ParseAttributes(trait.Attributes), GetDocString(trait), traitType, downcastableTraitTypes));
       } else {
         throw new InvalidOperationException();
       }