From 1e217552b0f5cba6986fe923bd1388bbcb299e4b Mon Sep 17 00:00:00 2001
From: kalmarek <kalmar@amu.edu.pl>
Date: Wed, 12 Feb 2020 01:57:54 +0100
Subject: [PATCH] add second cheap KnuthBedix run

---
 src/FPGroups_GAP.jl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/FPGroups_GAP.jl b/src/FPGroups_GAP.jl
index fe9cb97..cc7f53e 100644
--- a/src/FPGroups_GAP.jl
+++ b/src/FPGroups_GAP.jl
@@ -92,6 +92,7 @@ O.maxstates := 1000*$maxeqns;;
 
 before := Runtimes();;
 $reduction(rws);
+KnuthBendix(rws);
 after := Runtimes();;
 delta := after.user_time_children - before.user_time_children;;
 Print("$reduction time: \t", StringTime(delta), "\\n");