Project

General

Profile

Revision 29eebf22 src/plugins/salsa/salsa_plugin.ml

View differences:

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

  
19 20
  let activate () = salsa_enabled := true
20 21

  

Also available in: Unified diff