Project

General

Profile

Revision 5538b7ac src/parser_lustre.mly

View differences:

src/parser_lustre.mly
46 46
  try
47 47
    match (Hashtbl.find hashtbl name).top_decl_desc, value.top_decl_desc with
48 48
    | Node _        , ImportedNode _ when own
49
                        ->
50
       Hashtbl.add hashtbl name value
49
                        -> ()
51 50
    | ImportedNode _, _ ->
52 51
       Hashtbl.add hashtbl name value
53 52
    | Node _        , _ -> 

Also available in: Unified diff