search

imandra-ai / imandra-vscode

VSCode extension for developing imandra
Other
2 stars 0 forks source link

fix-engine merlin not working #21

Open ewenmaclean opened 5 years ago

ewenmaclean commented 5 years ago

building with dune and imandra-extract now produces problems with .merlin not seeing signatures of the generated byte code properly - this happened before when using a different version of imandra-extract and the one used for imandra-merlin (I think). This may be related to #20