When I try to build my project with libhoare I'll get many compilation errors. I added the dependency to my Cargo.toml like this:
[dependencies.hoare] git = "https://github.com/nick29581/libhoare.git"
As a result I got 13 erros like this: error[E0425]: cannot find function intern in module token --> C:\Users\user1\.cargo\git\checkouts\libhoare-e8ae5b947a6d22d6\108e29a\libhoare/lib.rs:42:42 | 42 | reg.register_syntax_extension(token::intern("precond"), |
Am I doing something wrong? Thanks in advance.
When I try to build my project with libhoare I'll get many compilation errors. I added the dependency to my Cargo.toml like this:
[dependencies.hoare] git = "https://github.com/nick29581/libhoare.git"As a result I got 13 erros like this:
error[E0425]: cannot find function intern in module token --> C:\Users\user1\.cargo\git\checkouts\libhoare-e8ae5b947a6d22d6\108e29a\libhoare/lib.rs:42:42 | 42 | reg.register_syntax_extension(token::intern("precond"), |Am I doing something wrong? Thanks in advance.