		Search-engine friendly clone of the ACL2 documentation.

Break-rewrite

Unmonitor

To stop monitoring a rule name

Examples:
(unmonitor '(:rewrite assoc-of-app))
:unmonitor (:rewrite assoc-of-app)
:unmonitor :all

General Forms:
(unmonitor rune)
(unmonitor :all)

Here, rune is a rune that is currently among those with break points installed. This function removes the break. See monitor.

Subtle point: Because you may want to unmonitor a ``rune'' that is no longer a rune in the current ACL2 world, we don't actually check this about rune. We simply check that rune is currently monitored and remove it. If rune corresponds to no entry on the list of monitored runes we cause an error since it may indicate a misspelling.