From 771caba9db45144144ef9a2f3b72aae0fba7c270 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sun, 13 Dec 2015 17:44:50 +0000
Subject: [PATCH] update ML example readme

---
 examples/ml/README | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/examples/ml/README b/examples/ml/README
index 562e9fe46..04837c696 100644
--- a/examples/ml/README
+++ b/examples/ml/README
@@ -17,6 +17,4 @@ ocamlfind ocamlc -o ml_example.byte -package Z3 -linkpkg ml_example.ml
 ocamlfind ocamlopt -o ml_example -package Z3 -linkpkg ml_example.ml
 
 Note that the resulting binaries depend on the shared z3 library, which needs to be 
-in the PATH (Windows), LD_LIBRARY_PATH (Linux) or DYLD_LIBRARY_PATH (OSX). If Z3 was 
-installed into ocamlfind, the path that should be added is 
-`ocamlfind printconf destdir`/Z3
+in the PATH (Windows), LD_LIBRARY_PATH (Linux) or DYLD_LIBRARY_PATH (OSX).