Project

General

Profile

Revision 19a1e66b src/clock_calculus.ml

View differences:

src/clock_calculus.ml
754 754
  | Const c ->
755 755
    clock_top_const env c
756 756
  | TypeDef _ -> List.fold_left clock_top_decl env (consts_of_enum_type decl)
757
  | Open _    -> env
757
  | Include _ | Open _    -> env
758 758

  
759 759
let clock_prog env decls =
760 760
  List.fold_left clock_top_decl env decls
......
786 786
  | ImportedNode nd ->
787 787
      uneval_node_generics (nd.nodei_inputs @ nd.nodei_outputs)
788 788
  | Const _
789
  | Open _
789
  | Include _ | Open _
790 790
  | TypeDef _ -> ()
791 791

  
792 792
let uneval_prog_generics prog =

Also available in: Unified diff