From 770bd6cb736d6827ebb7c248bfb3a498447da027 Mon Sep 17 00:00:00 2001 From: sandhyabhan Date: Tue, 1 Sep 2020 17:37:28 +0200 Subject: [PATCH] readme: fix grammatical errors --- readme.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/readme.txt b/readme.txt index 247be1662..8e41c4978 100644 --- a/readme.txt +++ b/readme.txt @@ -20,7 +20,7 @@ Compiling To build the GUI, you need Qt. - When building the command line tool, PCRE is optional. It is used if you build with rules. + While building the command line tool, PCRE is optional. It is used if you build with rules. For "bug hunting" you need Z3. Installing Z3: * debian: "sudo apt-get install libz3-dev