diff options
Diffstat (limited to 'src/boot/fe/item.ml')
| -rw-r--r-- | src/boot/fe/item.ml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/boot/fe/item.ml b/src/boot/fe/item.ml index 287fbb41..a0275be1 100644 --- a/src/boot/fe/item.ml +++ b/src/boot/fe/item.ml @@ -1159,7 +1159,12 @@ and parse_use 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_get_mod + meta + id + ps.pstate_node_id + ps.pstate_opaque_id + ps.pstate_crate_cache in let bpos = lexpos ps in expect ps SEMI; |