From c6c84dd59a0823921422c1b7b0e4f023eb91a5e3 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 29 Feb 2016 17:04:26 -0800
Subject: [PATCH] update documentation help to be inline with fpLT. Issue #465

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/python/z3.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/api/python/z3.py b/src/api/python/z3.py
index 9f3b0a1b9..3a8800f1d 100644
--- a/src/api/python/z3.py
+++ b/src/api/python/z3.py
@@ -8829,8 +8829,8 @@ def fpLT(a, b, ctx=None):
     >>> x, y = FPs('x y', FPSort(8, 24))
     >>> fpLT(x, y)
     x < y
-    >>> (x <= y).sexpr()
-    '(fp.leq x y)'
+    >>> (x < y).sexpr()
+    '(fp.lt x y)'
     """
     return _mk_fp_bin_pred(Z3_mk_fpa_lt, a, b, ctx)