Skip to content

Commit 5d3453b

Browse files
authored
Merge pull request #1644 from tivervac/patch-1
Fixed typo merged-on-behalf-of: Sebastian Wilzbach <sebi.wilzbach@gmail.com>
2 parents e1ed7f7 + 6814f58 commit 5d3453b

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

spec/contracts.dd

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -238,7 +238,7 @@ assert(&s); // check that struct S invariant holds
238238
------
239239

240240
$(P Invariants contain assert expressions, and so when they fail,
241-
they throw a $(D AssertError)s.
241+
they throw $(D AssertError)s.
242242
Class invariants are inherited, that is,
243243
any class invariant is implicitly anded with the invariants of its base
244244
classes.)

0 commit comments

Comments
 (0)