Code

Rename fetchAddress to referenceType#754

Code

Merged

ShubhamChaturvedi7 merged 1 commit intorishav-nativewrapper-fixsmithy-lang/smithy-dafny:rishav-nativewrapper-fixfrom ShubhamChaturvedi7-patch-1smithy-lang/smithy-dafny:ShubhamChaturvedi7-patch-1Copy head branch name to clipboardDec 23, 2024

+3-3

Commits

Commits on Dec 23, 2024

• Rename fetchAddress to referenceType

  ShubhamChaturvedi7

  authored
  85613a0