diff options
Diffstat (limited to 'parsing/esyntax.ml')
-rw-r--r-- | parsing/esyntax.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/esyntax.ml b/parsing/esyntax.ml index da7383d63..71edadb8f 100644 --- a/parsing/esyntax.ml +++ b/parsing/esyntax.ml @@ -63,7 +63,7 @@ let find_syntax_entry whatfor gt = let gt_keys = ast_keys gt in let entries = List.flatten - (List.map (fun k -> Gmap.find (whatfor,k) !from_key_table) gt_keys) + (List.map (fun k -> Gmapl.find (whatfor,k) !from_key_table) gt_keys) in first_match (fun se -> se.syn_astpat) [] gt entries |