You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
$ make
Ocamlc generate.cmo
File "generate.ml", line 177, characters 31-46:
177 | Cil.mkCast ~force:false ~e:(Cil.zero ~loc) ~newt:typ
^^^^^^^^^^^^^^^
Error: The function applied to this argument has type
Cil_types.exp -> Cil_types.exp
This argument cannot be applied with label ~e
make: *** [/home/yansendao/.opam/default/share/frama-c/Makefile.generic:78: generate.cmo] Error 2
The text was updated successfully, but these errors were encountered:
Thanks for your interest in ldrgen and for reporting this. I pushed 5d39878 to update ldrgen to Frama-C Vanadium. Please let me know if you run into any other troubles.
The text was updated successfully, but these errors were encountered: