|
@@ -906,7 +906,7 @@ let apply_native_paths ctx t =
|
|
let meta,path = get_real_path e.e_meta e.e_path in
|
|
let meta,path = get_real_path e.e_meta e.e_path in
|
|
e.e_meta <- meta :: e.e_meta;
|
|
e.e_meta <- meta :: e.e_meta;
|
|
e.e_path <- path;
|
|
e.e_path <- path;
|
|
- | TAbstractDecl a ->
|
|
|
|
|
|
+ | TAbstractDecl a when Meta.has Meta.CoreType a.a_meta ->
|
|
let meta,path = get_real_path a.a_meta a.a_path in
|
|
let meta,path = get_real_path a.a_meta a.a_path in
|
|
a.a_meta <- meta :: a.a_meta;
|
|
a.a_meta <- meta :: a.a_meta;
|
|
a.a_path <- path;
|
|
a.a_path <- path;
|