Update codegen/smithy-dafny-codegen/src/main/java/software/amazon/pol…

…ymorph/traits/MutableLocalStateTraitValidator.java

Co-authored-by: Robin Salkeld <[email protected]>

codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/traits/MutableLocalStateTraitValidator.java

@@ -25,7 +25,7 @@ public List<ValidationEvent> validate(Model model) {
           """
           aws.polymorph#mutableLocalState may allow callers to introduce soundness issues.
 
-          At this time to support dynamic mutable state smithy-dafny creates a seperated class by using an {:axiom}.
+          At this time to support dynamic mutable state smithy-dafny creates a "separated class" by using an {:axiom}.
           The idea for these seperated classes is that the resource has access to an internal modifies set.
           This is sometimes referred to as an Repr set.
           The resources internal operations are allowed to modify this InternalModifies,