let rec addone list x =
    match list with
    |[]     -> []
    |(a, b) :: xs   -> if (a = x) then ((a, b+1) :: xs) else ((a, b) :: (addone xs x));;