Project

General

Profile

« Previous | Next » 

Revision 3769b712

Added by Corentin Lauverjat over 1 year ago

Passage à dune v2

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