fix: remove user of Top.init in Discover example, Closes #176

imandra-ai / imandra-docs

Imandra Documentation

https://docs.imandra.ai/imandra-docs/

7 stars 4 forks source link

fix: remove user of Top.init in Discover example, Closes #176 #178

Closed hesterjeng closed 1 year ago

hesterjeng commented 1 year ago

This removes a deprecated function from the Discover example, allowing the example to be run. I also have opened the module containing the Discover function in the example.