Project

General

Profile

Revision ad4774b0 src/tools/stateflow/semantics/cPS_lustre_generator.ml

View differences:

src/tools/stateflow/semantics/cPS_lustre_generator.ml
321 321
    in tr 
322 322
    
323 323
  let mkcomponent :
324
  type c. c call_t -> c -> t -> LustreSpec.program =
324
  type c. c call_t -> c -> t -> LustreSpec.program_t =
325 325
    fun call args ->
326 326
      fun tr ->
327 327
	reset_loc ();

Also available in: Unified diff