Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / pluginList.ml.in @ 95944ba1

History | View | Annotate | Download (77 Bytes)

1 1954d776 ploc
let plugins =
2
  [
3 ad4774b0 ploc
    (module Scopes.Plugin : PluginType.S);
4 1954d776 ploc
    @SALSA@
5
  ]