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