Project

General

Profile

Revision 3769b712 src/pluginList.ml.in

View differences:

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

Also available in: Unified diff