isomorph.tst: do not overwrite DIGARPHS_NautyAvailable

digraphs · Nov 22, 2017 · cddea3d · cddea3d
1 parent 74eac83
commit cddea3d
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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();