records: Remove unneed autoload.

This is a follow-up to 23cbbe6860

* guix/records.scm: Remove autoload target-most-positive-fixnum.

Change-Id: I0e5b38382e3152c5f44a6626e618b4c7b027595d
This commit is contained in:
Zheng Junjie 2025-06-27 16:53:32 +08:00
parent 7c820cd888
commit 9b9b1f9bf5
No known key found for this signature in database
GPG key ID: 3B5AA993E1A2DFF0

View file

@ -24,7 +24,6 @@
#:use-module (srfi srfi-26)
#:use-module (ice-9 match)
#:use-module (ice-9 rdelim)
#:autoload (system base target) (target-most-positive-fixnum)
#:export (define-record-type*
this-record