janestreet/magic-trace

Erroneous warning when symbol not specified

Closed this issue · 1 comments

Xyene commented

Running magic trace without -symbol prints out

[Couldn't find symbol. Will still snapshot on end]

even though that is expected.

Fixed in #79