From cc4010591989908ab2f54a2a7fec7f5ec1ca1840 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Wed, 16 Apr 2014 16:12:55 +0100 Subject: [PATCH] ML API doc fix Signed-off-by: Christoph M. Wintersteiger --- src/api/ml/z3.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/ml/z3.mli b/src/api/ml/z3.mli index 4122f40f2..8a88a91bb 100644 --- a/src/api/ml/z3.mli +++ b/src/api/ml/z3.mli @@ -2404,7 +2404,7 @@ sig (** The finite set of distinct values that represent the interpretation of a sort. {!get_sorts} - @returns A list of expressions, where each is an element of the universe of the sort *) + @return A list of expressions, where each is an element of the universe of the sort *) val sort_universe : model -> Sort.sort -> AST.ast list (** Conversion of models to strings.