From fd1ce50b35cc11c6e1ccd07096cc238c86f09228 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Tue, 24 May 2016 02:58:11 +0200 Subject: [PATCH] Fixed typo. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index a3bff48..5e4bd5b 100644 --- a/README.md +++ b/README.md @@ -25,7 +25,7 @@ $ clingo encodings/meta-sequential-incremental.lp file.lp ## Building -`plasp` requires a C++14 compiler (preferrably ≥ GCC 6.1), the `boost` libraries (≥ 1.55), and CMake for building. +`plasp` requires a C++14 compiler (preferrably GCC ≥ 6.1), the `boost` libraries (≥ 1.55), and CMake for building. ```bash $ git clone https://github.com/potassco/plasp.git