Commit ba7530fa90795e077e685346444ebe3a3c1595ee

Ran Benita 2013-11-27T13:43:57

scanner: restore lost DIVIDE token I don't know how this could have happened. Luckily this token is completely useless. Signed-off-by: Ran Benita <ran234@gmail.com>