From 9d776d00a8145a80e3b74459f9e70dc2ca63e01e Mon Sep 17 00:00:00 2001 From: mattwparas Date: Fri, 22 Dec 2023 14:07:50 -0800 Subject: [PATCH] typo in summary --- docs/src/SUMMARY.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/src/SUMMARY.md b/docs/src/SUMMARY.md index e58be0074..3659d4a66 100644 --- a/docs/src/SUMMARY.md +++ b/docs/src/SUMMARY.md @@ -23,10 +23,10 @@ 1. [steel/base](builtins/steel_base.md) 2. [steel/constants](builtins/steel_constants.md) 3. [steel/core/option](builtins/steel_core_option.md) - 4. [steel/core/result](builtins/steel_core/result.md) - 5. [steel/core/types](builtins/steel_core/types.md) - 6. [steel/equality](builtins/steel_core/equality.md) - 7. [steel/filesystem](builtins/steel_core/filesystem.md) + 4. [steel/core/result](builtins/steel_core_result.md) + 5. [steel/core/types](builtins/steel_core_types.md) + 6. [steel/equality](builtins/steel_equality.md) + 7. [steel/filesystem](builtins/steel_filesystem.md) 8. [steel/hash](builtins/steel_hash.md) 9. [steel/identity](builtins/steel_identity.md) 10. [steel/io](builtins/steel_io.md)