2
0
Simon Krajewski 12 жил өмнө
parent
commit
5ce4157205
1 өөрчлөгдсөн 1 нэмэгдсэн , 1 устгасан
  1. 1 1
      matcher.ml

+ 1 - 1
matcher.ml

@@ -542,7 +542,7 @@ let to_pattern ctx e t =
 		pc_reify = false;
 		pc_reify = false;
 	} in
 	} in
 	let x = loop pctx e t in
 	let x = loop pctx e t in
-	x, x.pc_locals
+	x, pctx.pc_locals
 
 
 let get_pattern_locals ctx e t =
 let get_pattern_locals ctx e t =
 	try
 	try