Skip to content

Commit 3b74238

Browse files
author
Owen Jones
committed
Fix apostrophe
1 parent 90e43d9 commit 3b74238

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

doc/architectural/data-structures-core-structures-and-ast.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,7 @@ think of them as having a single string (data, actually an `irep_idt`) and
2929
lots of child nodes, some of which are numbered (sub) and some of which are
3030
labelled, and the label can either start with a “\#” (comments-sub) or without
3131
one (named-sub). The meaning of the “\#” is that this child should not be
32-
considered important, for example it shouldnt be counted when comparing two
32+
considered important, for example it shouldn't be counted when comparing two
3333
`irept`s for equality.
3434

3535
## typet ##

0 commit comments

Comments
 (0)