@@ -82,7 +82,7 @@ cap_op_required_bytes DecOut = do
83 return $ toEnum $ length $ show p
83 return $ toEnum $ length $ show p
84cap_op_required_bytes CharOut = do
84cap_op_required_bytes CharOut = do
87cap_op_required_bytes (PushParam pn) = do
87cap_op_required_bytes (PushParam pn) = do
88 read_param pn >>= push
88 read_param pn >>= push