diff --git a/src/Convert/Jump.hs b/src/Convert/Jump.hs index e37c087..ee2ee78 100644 --- a/src/Convert/Jump.hs +++ b/src/Convert/Jump.hs @@ -353,7 +353,7 @@ stubIncr keepRunning (lhs, op, expr) = expr' = BinOp binop (lhsToExpr lhs) expr jumpStateType :: Type -jumpStateType = IntegerVector TBit Unspecified [(RawNum 0, RawNum 1)] +jumpStateType = IntegerVector TBit Unspecified [(RawNum 1, RawNum 0)] jumpState :: String jumpState = "_sv2v_jump"