diff options
Diffstat (limited to 'backend/Selection.v')
-rw-r--r-- | backend/Selection.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/Selection.v b/backend/Selection.v index 68fb9ba1..9e11bc35 100644 --- a/backend/Selection.v +++ b/backend/Selection.v @@ -78,7 +78,7 @@ Fixpoint condexpr_of_expr (e: expr) : condexpr := | Econdition ce e1 e2 => CEcondition ce (condexpr_of_expr e1) (condexpr_of_expr e2) | _ => - CEcond (Ccompimm Cne Int.zero) (e:::Enil) + CEcond (Ccompuimm Cne Int.zero) (e:::Enil) end. (** Conversion of loads and stores *) |