diff options
Diffstat (limited to 'examples/SimpleVC.ml')
| -rw-r--r-- | examples/SimpleVC.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/SimpleVC.ml b/examples/SimpleVC.ml index f7caa9e3d..dc75752db 100644 --- a/examples/SimpleVC.ml +++ b/examples/SimpleVC.ml @@ -18,7 +18,7 @@ *** *** To run, use something like: *** -*** LD_LIBRARY_PATH=../builds/src/bindings/.libs \ +*** LD_LIBRARY_PATH=../builds/src/bindings/ocaml/.libs \ *** ../builds/src/bindings/cvc4_ocaml_top -I ../builds/src/bindings/ocaml \ *** SimpleVC.ml *** |