Reverted internal prefix for every backend except Dafny

dafny-lang · Jun 7, 2024 · e40b3b2 · e40b3b2
1 parent 662394a
commit e40b3b2
Show file tree

Hide file tree

Showing 7 changed files with 3,248 additions and 3,248 deletions.
diff --git a/Source/DafnyCore/Backends/SinglePassCodeGenerator/SinglePassCodeGenerator.cs b/Source/DafnyCore/Backends/SinglePassCodeGenerator/SinglePassCodeGenerator.cs
@@ -29,7 +29,7 @@ public abstract partial class SinglePassCodeGenerator {
  // we can prefix it with "_".
  // However, for backends such as Rust which need special internal fields, we want to clearly
  // disambiguate between compiler-generated names and user-defined names, hence this prefix.
- protected virtual string InternalFieldPrefix => "_i_";
+ protected virtual string InternalFieldPrefix => "_";
  public DafnyOptions Options { get; }
 
  /// <summary>