gap-packages / recog

The GAP package recog to collect methods for constructive recognition

https://gap-packages.github.io/recog/

GNU General Public License v3.0

6 stars 14 forks source link

Fix reference to \in #318

Closed jamesjer closed 2 years ago

jamesjer commented 2 years ago

Resolves this warning:

#W WARNING: non resolved reference: rec(
  Oper := "\\\\in" )

With this change, the reference is correctly cross-linked.

codecov[bot] commented 2 years ago

Codecov Report

Merging #318 (07990a0) into master (48c1cfa) will not change coverage. The diff coverage is n/a.

@@           Coverage Diff           @@
##           master     #318   +/-   ##
=======================================
  Coverage   78.55%   78.55%           
=======================================
  Files          43       43           
  Lines       18440    18440           
=======================================
  Hits        14485    14485           
  Misses       3955     3955

Impacted Files	Coverage Δ
gap/base/recognition.gd	`100.00% <ø> (ø)`