[acl2/acl2] c67f6e: [interface] Make elisp function argument optional

[Grant Jurgensen]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: c67f6ecbe93636a3f01d4a3be910e01f8d28830e
https://github.com/acl2/acl2/commit/c67f6ecbe93636a3f01d4a3be910e01f8d28830e
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2025-09-19 (Fri, 19 Sep 2025)

Changed paths:
M books/interface/emacs/acl2-indent.el

Log Message:
-----------
[interface] Make elisp function argument optional

This addresses an issue observed when attempting to do `M-x
customize-variable`. This seemed to be calling indent-sexp with zero
arguments, while it is defined in acl2-indent.el with 1 argument. Making
the argument optional fixes the issue.



To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications

[Grant Jurgensen]

Branch: refs/heads/master

[Grant Jurgensen]

Branch: refs/heads/testing