diff --git a/include/z3librc.in b/include/z3librc.in index ee37a37232a1d8db5c50bcbed7fc878fcc16e060..ee0b231e187db683387ea17e12de9f001d194983 100644 --- a/include/z3librc.in +++ b/include/z3librc.in @@ -1 +1 @@ -export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:@Z3LIBPATH@ \ No newline at end of file +export LD_LIBRARY_PATH=@Z3LIBPATH@:$LD_LIBRARY_PATH