Problem with compiling jstar

[Daniel Bassen]

Hello,

compiling jstar fails with the following error message:

"ocamlbuild -cflags -dtypes `cat src.subdirs corestar_src.subdirs` -lib dynlink -lib str -lib unix jstar.native

+ /usr/bin/ocamlopt.opt -c -dtypes -g -I src/jimplefront -I corestar_src/symbexe -I corestar_src/plugin_interface -I corestar_src/parsing -I corestar_src/symbexe_syntax -I corestar_src/proverfront -I corestar_src/symbfront -I corestar_src/prover_syntax -I corestar_src/abs_int -I corestar_src/prover -I corestar_src/utils -I src/parsing -I src/jimple_syntax -o src/jimplefront/jstar.cmx src/jimplefront/jstar.ml

File "src/jimplefront/jstar.ml", line 143, characters 11-43:

Error: This expression has type

         Lexing.lexbuf -> Spec_def.class_spec Load.importoption list

       but an expression was expected of type

         (Lexing.lexbuf -> 'a) -> Lexing.lexbuf -> 'b Load.importoption list

Command exited with code 2.

Compilation unsuccessful after building 203 targets (202 cached) in 00:00:01.

make: *** [native] Error 10"

Anybody an idea, how I can fix it? The system I used runs debian testing with ocaml 3.12.1

Best regards,

   Daniel