Project

General

Profile

« Previous | Next » 

Revision 3769b712

Added by Corentin Lauverjat over 1 year ago

Passage à dune v2

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