smithy-lang / smithy-dafny

Apache License 2.0
9 stars 8 forks source link

chore: rename message() to value() #423

Closed andrewbanchich closed 3 months ago

andrewbanchich commented 4 months ago

Issue #, if available:

Description of changes:

fixes incorrect method name

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.