Project

General

Profile

Revision 151117f7 src/plugins/salsa/salsa_plugin.ml

View differences:

src/plugins/salsa/salsa_plugin.ml
13 13
  
14 14
  let options = [
15 15
        "-debug", Arg.Set SalsaDatatypes.debug, "debug salsa plugin";
16
        "-slice-depth", Arg.Set_int Salsa.Prelude.sliceSize, "salsa slice depth (default is 5)";
16 17
      ]
17 18

  
18 19
  let activate () = salsa_enabled := true

Also available in: Unified diff