[acl2/acl2] f270df: Fixed mix-up with depends-on directives

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: f270dfb641705d84634069832cd119a99fe2796c
https://github.com/acl2/acl2/commit/f270dfb641705d84634069832cd119a99fe2796c
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2026-01-14 (Wed, 14 Jan 2026)

Changed paths:
M books/projects/hol-in-acl2/examples/eval-poly-thy.lisp
M books/projects/hol-in-acl2/examples/ex1-thy.lisp

Log Message:
-----------
Fixed mix-up with depends-on directives



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

[MattKaufmann]

Branch: refs/heads/testing