From 4516dfe509b05014e5c41cd7b3c6b8a3887ed18c Mon Sep 17 00:00:00 2001
From: cxchu <cxchu@mpi-inf.mpg.de>
Date: Wed, 22 Apr 2020 13:41:45 +0200
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index a5aa048..f9095d1 100644
--- a/README.md
+++ b/README.md
@@ -44,6 +44,7 @@ To run typing, you need to set some paths in several files:
 
 - Build: ./build.sh
 - Run typing: ./run.sh heap-size typing.ENTYFI input-file output-file
+
   For example: ./run.sh 10G typing.ENTYFI input-file output-file
   
 Other parameters like topK reference universes or topK types returned by ILP can be defined in class typing/ENTYFI.java