فهرست منبع

Remap: forward typedef position

Rudy Ges 3 ماه پیش
والد
کامیت
d93e751d77
1فایلهای تغییر یافته به همراه1 افزوده شده و 1 حذف شده
  1. 1 1
      src/typing/typeloadParse.ml

+ 1 - 1
src/typing/typeloadParse.ml

@@ -327,7 +327,7 @@ let parse_module com m p =
 								in
 								in
 								mk_type_path ~params ~sub:(fst d.d_name) (!remap,snd m)
 								mk_type_path ~params ~sub:(fst d.d_name) (!remap,snd m)
 						in
 						in
-						make_ptp_th_null tp
+						make_ptp_th tp (snd d.d_name)
 					end
 					end
 				},p) :: acc
 				},p) :: acc
 			in
 			in