From ad107bfc42ee770850b73149be375223d917d9a4 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 11 Oct 2012 21:47:46 -0700 Subject: [PATCH] fixed typos Signed-off-by: Leonardo de Moura --- configure.in | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/configure.in b/configure.in index 8236334a4..421c9a3c0 100644 --- a/configure.in +++ b/configure.in @@ -150,9 +150,10 @@ Z3 was configured with success. Host platform: $PLATFORM Arithmetic: $ARITH Python Support: $HAS_PYTHON_MSG -Pyyhon: $PYTHON +Python: $PYTHON +Prefix: $prefix Type 'make' to compile Z3. Type 'sudo make install' to install Z3. -Type 'sudo make install-python' to install Z3 Python bindings. +Type 'sudo make install-z3py' to install Z3 Python (Z3Py) bindings. EOF