Skip to content

Conversation

@oskgo
Copy link
Contributor

@oskgo oskgo commented Nov 21, 2025

We use a dummy memory when printing expressions in contexts where there is no single sided active memory. Ideally we'd have printing for expressions that just ignores the memory, but doing this properly would require rearchitecting the formula printing logic or duplicating it. I'm just fixing the regression for now.

Fixes #838.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Regression in error-printing of the outline tactic

2 participants