From 99764faed31f76c43a83c95a76e5961b11599f06 Mon Sep 17 00:00:00 2001 From: Kristoffer Andersen Date: Sat, 27 Sep 2025 00:22:25 +0200 Subject: [PATCH] Typo sort.sig --- src/core/sort.sig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/sort.sig b/src/core/sort.sig index f8cb376..7951e02 100644 --- a/src/core/sort.sig +++ b/src/core/sort.sig @@ -9,7 +9,7 @@ * A unique feature of this ABT library is the ability to express different sorts. * Specifically, you can define operators which take arguments of different sorts so * that it's not necessary to lump types + expressions + whatever else into the same - * collection of objects with anything distinguishing them. + * collection of objects without anything distinguishing them. *) signature ABT_SORT = sig