From cf2bf086b268bf8099cd1afe493c66f352dfd432 Mon Sep 17 00:00:00 2001 From: Beyang Liu Date: Tue, 3 Dec 2024 15:38:10 +0100 Subject: [PATCH] fix typo --- DESIGN.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/DESIGN.md b/DESIGN.md index 99f54df4..15754ae2 100644 --- a/DESIGN.md +++ b/DESIGN.md @@ -91,7 +91,7 @@ and then converting to SCIP for transmission. Hash tables are a core data type used in compilers and hence are likely to be useful in indexers generally. -String types in mainstream languages support equality and hashing. +String types in mainstream languages support equality and hashing, where other objects may not be. ### Avoid direct encoding of graphs