Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / pluginList.ml.in @ 3769b712

History | View | Annotate | Download (85 Bytes)

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