From 73f7789743b50eca42d8ba7b95f0654ccd1825bf Mon Sep 17 00:00:00 2001
From: Pjotr Prins
Date: Tue, 18 Sep 2018 10:55:35 +0000
Subject: Profiling

---
 INSTALL.md | 1 +
 1 file changed, 1 insertion(+)

(limited to 'INSTALL.md')

diff --git a/INSTALL.md b/INSTALL.md
index 9b10339..1231147 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -187,6 +187,7 @@ The gcc version has profiling support, run with
 
     make PROFILING=1
 
+
 ### OpenBlas
 
 Linking against a built-from-source OpenBlas is a first optimization
-- 
cgit v1.2.3