From a84d23d4ae3050af8375e77d7231cee482342a69 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Sat, 7 Nov 2015 15:11:14 -0800 Subject: [PATCH] spacing in INSTALL.md Reviewed By: jeremydubreil Differential Revision: D2630198 fb-gh-sync-id: 155113b --- INSTALL.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/INSTALL.md b/INSTALL.md index e68cd075d..216b72265 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -14,6 +14,7 @@ Alternatively, we also provide a docker image in the docker/ directory. Simply go to that directory and run `./run.sh` to get started with a working installation of Infer. + ## Infer dependencies for MacOSX Here are the prerequisites to be able to compile Infer on MacOSX. This @@ -49,6 +50,7 @@ opam install -y \ sawja.1.5.1 ``` + ## Infer dependencies for Linux Here are the prerequisites to be able to compile Infer on Linux. This