Update README.md

JuliaReach · Sep 20, 2018 · b43edaf · b43edaf
1 parent b3db69b
commit b43edaf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -31,7 +31,7 @@ If you want to install the latest development version, do:
 Pkg.clone("https://github.com/JuliaReach/LazySets.jl.git")
 ```
 
-To update your local copy to the current development version, do
+To update your local copy to the current development version, do:
 
 ```julia
 Pkg.checkout("LazySets")