Commit 4416423b authored by Benoit Barbot's avatar Benoit Barbot
Browse files

fix webinterface

parent e9140524
......@@ -215,7 +215,7 @@ end
open Format
(* Main *)
let main print_rg infile frequency npoly expected_duration boltzmann_param
let main exact_arithm print_rg infile frequency npoly expected_duration boltzmann_param
expected_size rational_impl verbose splitting_debug export_zone_graph
outfilename out_style seed is_interactive max_iteration sampler store_traj
template nbtraj =
......@@ -264,7 +264,7 @@ let main print_rg infile frequency npoly expected_duration boltzmann_param
rational_impl frequency expected_duration boltzmann_param
expected_size verbose npoly )
in
let module Weight = Instantiate (Flq.Q) (Bound) (Param) () in
let module Weight = Instantiate (val exact_arithm : Fl.FSIG) (Bound) (Param) () in
let rgpoly =
match (precomp_exists, rgopt) with
| Some content, _ ->
......
......@@ -48,7 +48,7 @@ let _ =
post_parse ()
let _ =
Compute.main !print_rg !infile !frequency !npoly !expected_duration
Compute.main (module Flq.Q) !print_rg !infile !frequency !npoly !expected_duration
!boltzmann_param !expected_size !rational_impl !verbose !splitting_debug
!export_zone_graph !outfilename !out_style !random_seed !is_interactive
!max_iteration !sampler !store_traj !template !nbtraj
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment