From 3b1fcdab14280d53bfc2409c09f630c9f18451f9 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 13 Dec 2017 13:23:52 +0100
Subject: [PATCH] update README

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

diff --git a/README.md b/README.md
index 96bc7e6e6..f08263023 100644
--- a/README.md
+++ b/README.md
@@ -28,12 +28,12 @@ After doing `git pull`, the development may fail to compile because of outdated
 dependencies.  To fix that, please run `opam update` followed by
 `make build-dep`.
 
-## Building Instructions
+## Building
 
 Run `make -jN` to build the full development, where `N` is the number of your
 CPU cores.
 
-## Structure
+## Directory Structure
 
 * The folder [algebra](theories/algebra) contains the COFE and CMRA
   constructions as well as the solver for recursive domain equations.
-- 
GitLab