lib/formatmemory.js: use = for var placeholders

dapphub / klab

K framework proof explorer & smart contract specification format

GNU Affero General Public License v3.0

123 stars 36 forks source link

Closed asymmetric closed 4 years ago

asymmetric commented 4 years ago

Use = instead of -, which looks like part of the expression.

Used when showing long variable placeholders in the memory view.

d-xo commented 4 years ago

Do you have a screenshot of this behaviour? I'm not sure I know what you're referring to.

asymmetric commented 4 years ago

foo