From ed5058d225f63a1f78e796d976c424f7ceee931a Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Mon, 21 Aug 2017 18:21:31 +0100 Subject: [PATCH] Fixed typo in ML API. Relates to #1214. --- 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 0207a53ed..4f10b275a 100644 --- a/src/api/ml/z3.mli +++ b/src/api/ml/z3.mli @@ -1912,7 +1912,7 @@ sig (* union of regular expressions *) val mk_re_union : context -> Expr.expr list -> Expr.expr - (* concatenation of regular expressions* ) + (* concatenation of regular expressions *) val mk_re_concat : context -> Expr.expr list -> Expr.expr (* regular expression for the range between two characters *)