Project

General

Profile

Revision 3769b712 src/plugins.ml

View differences:

src/plugins.ml
1
open Lustrec
1 2
open Lustre_types
2 3

  
3 4
open PluginList
4 5

  
5

  
6 6
let options () = 
7 7
  List.flatten (
8 8
    List.map Options_management.plugin_opt (

Also available in: Unified diff