From cddea3d3efec81acc8a037781b812455267d797d Mon Sep 17 00:00:00 2001
From: Wilf Wilson <wilf@wilf-wilson.net>
Date: Wed, 22 Nov 2017 21:27:37 +0000
Subject: [PATCH] isomorph.tst: do not overwrite DIGARPHS_NautyAvailable

---
 tst/standard/isomorph.tst | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tst/standard/isomorph.tst b/tst/standard/isomorph.tst
index 78a5ed8bd..c107273bd 100644
--- a/tst/standard/isomorph.tst
+++ b/tst/standard/isomorph.tst
@@ -806,10 +806,11 @@ fail
 gap> nauty := not DIGRAPHS_UsingBliss;;
 gap> DigraphsUseNauty();
 gap> DigraphsUseBliss();
+gap> p := DIGRAPHS_NautyAvailable;;
 gap> MakeReadWriteGlobal("DIGRAPHS_NautyAvailable");
 gap> DIGRAPHS_NautyAvailable := false;;
 gap> DigraphsUseNauty();
-gap> DIGRAPHS_NautyAvailable := true;;
+gap> DIGRAPHS_NautyAvailable := p;;
 gap> MakeReadOnlyGlobal("DIGRAPHS_NautyAvailable");
 gap> if not nauty then 
 >      DigraphsUseBliss();