diff options
Diffstat (limited to 'backend/RTLgenaux.ml')
| -rw-r--r-- | backend/RTLgenaux.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/RTLgenaux.ml b/backend/RTLgenaux.ml index 0822587f..245b80cd 100644 --- a/backend/RTLgenaux.ml +++ b/backend/RTLgenaux.ml @@ -14,7 +14,7 @@ open Camlcoq open Switch open CminorSel -let more_likely (c: condexpr) (ifso: stmt) (ifnot: stmt) = false +let more_likely (c: Op.condition) (ifso: stmt) (ifnot: stmt) = false module IntOrd = struct |