diff --git a/README.md b/README.md index 41e3afbef0234f3cdf07158bee3150a1adfc9e07..2c82ff74fc249e6b88a08e2e902502986ebde8a4 100644 --- a/README.md +++ b/README.md @@ -15,7 +15,7 @@ fixed version of Ssreflect. Run the following command to build the full development: - make + make # STRUCTURE