diff --git a/src/ir_def/arrange_ir.ml b/src/ir_def/arrange_ir.ml index 7b68f595f6d..01f07880878 100644 --- a/src/ir_def/arrange_ir.ml +++ b/src/ir_def/arrange_ir.ml @@ -93,7 +93,7 @@ and prim = function | IcUrlOfBlob -> Atom "IcUrlOfBlob" | SelfRef t -> "SelfRef" $$ [typ t] | SystemTimePrim -> Atom "SystemTimePrim" - | SystemCyclesAddPrim -> Atom "SystemCyclesAcceptPrim" + | SystemCyclesAddPrim -> Atom "SystemCyclesAddPrim" | SystemCyclesAcceptPrim -> Atom "SystemCyclesAcceptPrim" | SystemCyclesAvailablePrim -> Atom "SystemCyclesAvailablePrim" | SystemCyclesBalancePrim -> Atom "SystemCyclesBalancePrim"