From 0e98aa2cc0e1cfcd5bfad2509afef534661ec81f Mon Sep 17 00:00:00 2001
From: Brian Broll <brian.broll@vanderbilt.edu>
Date: Wed, 23 May 2018 13:08:04 -0500
Subject: [PATCH] Fixed minor rendering issues with markdown headers

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 6d409e6..a388f09 100644
--- a/README.md
+++ b/README.md
@@ -1,14 +1,14 @@
 # formula 2.0
 Formal Specifications for Verification and Synthesis
 
-##Building FORMULA
+## Building FORMULA
 
 In order to build FORMULA you must acquire and build dependencies.
 These dependencies are not part of the FORMULA project, though
 the FORMULA build scripts offer assistance in downloading and compiling
 other Codeplex dependencies. 
 
-##Non-Codeplex Dependencies
+## Non-Codeplex Dependencies
 
 You must acquire and install these yourself.