Skip to content
Snippets Groups Projects
Commit b5532c1b authored by Basile Desloges's avatar Basile Desloges
Browse files

[eacsl] Fix \let translation 

The term corresponding to the logic var introduced is translated without
the logic var in the logic scope.
parent 51265d2a
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
Showing
with 25 additions and 2 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment