Jelajahi Sumber

[gencommon] minor

Dan Korostelev 8 tahun lalu
induk
melakukan
d8e097d7d7
1 mengubah file dengan 1 tambahan dan 1 penghapusan
  1. 1 1
      src/generators/gencommon.ml

+ 1 - 1
src/generators/gencommon.ml

@@ -359,7 +359,7 @@ class ['tp] rule_map_dispatcher name =
 						let t = if !debug_mode then Common.timer [("rule map dispatcher rule: " ^ n)] else fun () -> () in
 						let t = if !debug_mode then Common.timer [("rule map dispatcher rule: " ^ n)] else fun () -> () in
 						let r = rule(!cur) in
 						let r = rule(!cur) in
 						t();
 						t();
-						if is_some r then begin cur := get r end
+						Option.may (fun v -> cur := v) r
 					) q
 					) q
 				end
 				end
 			) keys
 			) keys