-
POTTIER Francois authored
This implies that we remove [#] from consideration, as desired. This means fewer facts are considered and a little time is saved. Also, announced (in comments and assertions) that [any] is implemented as [#], but not yet committed.
f9c13d32