Update README.md

leoprover · Oct 21, 2019 · c169930 · c169930
1 parent 1662931
commit c169930
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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