From d7c4432ae0e208d850109c23866562b6d1c451a7 Mon Sep 17 00:00:00 2001
From: Lukasz Czajka <lukaszcz@mimuw.edu.pl>
Date: Thu, 30 Sep 2021 16:10:18 +0200
Subject: [PATCH] v1.3.2

---
 README.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/README.md b/README.md
index e7cf4ead..0dc553c0 100644
--- a/README.md
+++ b/README.md
@@ -6,8 +6,7 @@ CoqHammer video tutorial:
 [part 1 (sauto)](https://www.youtube.com/watch?v=0c_utk9bVgU&list=PLXXF_svQE_b-9A5p2OKU7Tjz-NcE7H2xg),
 [part 2 (hammer)](https://www.youtube.com/watch?v=EEmpVCSqShA&list=PLXXF_svQE_b_vja6TWFbGNB266Et8m5yC).
 
-Since version 1.3, the CoqHammer system consists of two major separate
-components.
+Since version 1.3, the CoqHammer system consists of two major separate components.
 
 1. The `sauto` general proof search tactic for the Calculus of
    Inductive Construction.