Project

General

Profile

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

View differences:

src/tools/stateflow/semantics/cPS_lustre_generator.ml
345 345
			   node_dec_stateless = false;
346 346
			   node_stateless = None;
347 347
			   node_spec = None;
348
			   node_annot = []}
348
			   node_annot = [];
349
                           node_iscontract = false}
349 350
      )  
350 351
	in
351 352
	[node]
......
400 401
			 node_dec_stateless = false;
401 402
			 node_stateless = None;
402 403
			 node_spec = None;
403
			 node_annot = []}
404
			 node_annot = [];
405
                         node_iscontract = false;}
404 406
      )  
405 407
    in
406 408
    node_principal

Also available in: Unified diff