From c169930054ba493508215e055160a3a1697c617d Mon Sep 17 00:00:00 2001
From: traeger <marco.traeger@gmail.com>
Date: Mon, 21 Oct 2019 17:05:18 +0200
Subject: [PATCH] Update README.md

---
 bin/python3/README.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/bin/python3/README.md b/bin/python3/README.md
index 8bab7f2..512b750 100644
--- a/bin/python3/README.md
+++ b/bin/python3/README.md
@@ -2,7 +2,6 @@
 This TPTP-parser is created using flex/bison and swig. The sources can be found at https://github.com/leoprover/tptp-parser.
 
 ## Testrun
-### python3
 ```$ python3 test_run.py PROBLEM_FILE```
 
 ## License