diff --git a/README.md b/README.md index e2e51686a..552617ec3 100644 --- a/README.md +++ b/README.md @@ -12,5 +12,3 @@ Building: * `opam install GT` * To build the sources: `make` from the top project directory * To test: `test.sh` from `regression` subfolder - -