Project

General

Profile

Revision 61df3cb9 src/main_lustre_compiler.ml

View differences:

src/main_lustre_compiler.ml
120 120
  end
121 121

  
122 122
let compile dirname basename extension =
123
  Plugins.init ();
123 124
  match extension with
124 125
  | ".lusi"  -> compile_header dirname basename extension
125 126
  | ".lus"   -> compile_source dirname basename extension

Also available in: Unified diff