diff options
Diffstat (limited to 'caml/RTLgenaux.ml')
-rw-r--r-- | caml/RTLgenaux.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/caml/RTLgenaux.ml b/caml/RTLgenaux.ml index 3e6ca3d3..336346af 100644 --- a/caml/RTLgenaux.ml +++ b/caml/RTLgenaux.ml @@ -1,3 +1,3 @@ open Cminor -let more_likely (c: condexpr) (ifso: stmtlist) (ifnot: stmtlist) = false +let more_likely (c: condexpr) (ifso: stmt) (ifnot: stmt) = false |