diff options
Diffstat (limited to 'src/boot/fe/item.ml')
| -rw-r--r-- | src/boot/fe/item.ml | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/src/boot/fe/item.ml b/src/boot/fe/item.ml index 00eb8387..c747713b 100644 --- a/src/boot/fe/item.ml +++ b/src/boot/fe/item.ml @@ -1202,14 +1202,7 @@ and parse_use let apos = lexpos ps in let bpos = lexpos ps in let id = (span ps apos bpos ()).id in - let (path, items) = - ps.pstate_get_mod - meta - id - ps.pstate_node_id - ps.pstate_opaque_id - ps.pstate_crate_cache - in + let (path, items) = ps.pstate_get_mod meta id ps.pstate_crate_cache in let bpos = lexpos ps in expect ps SEMI; let rlib = |