ENHANCE: Typo in option setting.

gap-system · Jul 16, 2020 · 69134f5 · 69134f5
1 parent d452611
commit 69134f5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/ghomfp.gi b/lib/ghomfp.gi
@@ -912,7 +912,7 @@ local H, pres,map,mapi,opt;
  opt:=TzOptions(pres);
 
  if ValueOption("protected")<>fail then
- opt.expandLimit:=ValueOption("protected");
+ opt.protected:=ValueOption("protected");
  fi;
 
  opt.printLevel:=InfoLevel(InfoFpGroup);