Fix the Julia bindings paragraph in README (#4068)

Z3Prover · Apr 23, 2020 · 50d5811 · 50d5811
1 parent 0829023
commit 50d5811
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -200,13 +200,14 @@ python -c 'import z3; print(z3.get_version_string())'
 
 See [``examples/python``](examples/python) for examples.
 
+### ``Julia``
+
+[Julia bindings](src/api/julia) can be enabled using the build option `Z3_BUILD_JULIA_BINDINGS` from the CMake system.
+
 ### ``Web Assembly``
 
 [WebAssembly](https://github.com/cpitclaudel/z3.wasm) bindings are provided by Clément Pit-Claudel.
 
-### ``Julia```
-Julia bindings can be enabled using the build option Z3_BUILD_JULIA_BINDINGS from the CMake system.
-
 ## System Overview
 
 ![System Diagram](https://github.com/Z3Prover/doc/blob/master/programmingz3/images/Z3Overall.jpg)