Update Source/DafnyCore/Compilers/Compiler-Csharp.cs

Co-authored-by: Fabio Madge <fabio@madge.me>
dafny-lang · Nov 29, 2022 · ddbf743 · ddbf743
1 parent dda06c7
commit ddbf743
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Source/DafnyCore/Compilers/Compiler-Csharp.cs b/Source/DafnyCore/Compilers/Compiler-Csharp.cs
@@ -1743,7 +1743,7 @@ protected void DeclareField(string name, bool isPublic, bool isStatic, bool isCo
         if (isPublic) {
           if (isConst) {
             cw.InstanceMemberWriter.Write(
-              $"{publik}{konst} {virtuall} {typeName} {name} {{get;}}");
+              $"{publik}{konst}{virtuall} {typeName} {name} {{get;}}");
           } else {
             cw.InstanceMemberWriter.Write(
               $"{publik}{virtuall} {typeName} {name} {{get; set;}}");