Project

General

Profile

Revision 1bff14ac src/inliner.ml

View differences:

src/inliner.ml
418 418
  let _ = Clock_calculus.clock_prog clock_env new_prog in
419 419
*)
420 420
   
421
  let witness_file = (Options.get_witness_dir filename) ^ "/" ^ "inliner_witness.lus" in
421
  let witness_file = (Options_management.get_witness_dir filename) ^ "/" ^ "inliner_witness.lus" in
422 422
  let witness_out = open_out witness_file in
423 423
  let witness_fmt = Format.formatter_of_out_channel witness_out in
424 424
  begin

Also available in: Unified diff