aboutsummaryrefslogtreecommitdiffstats
path: root/caml/RTLgenaux.ml
blob: 336346afdb529a6873a73b211e52fb633ac63527 (plain)
1
2
3
open Cminor

let more_likely (c: condexpr) (ifso: stmt) (ifnot: stmt) = false