Project

General

Profile

Revision 264a4844 src/options.ml

View differences:

src/options.ml
53 53
let no_mutation_suffix = ref false
54 54

  
55 55
let solve_al = ref false
56

  
56
let al_nb_max = ref 15
57
  
57 58
(* Local Variables: *)
58 59
(* compile-command:"make -C .." *)
59 60
(* End: *)

Also available in: Unified diff