FIX: add missing case to OccName.isSymOcc
authorDavid Waern <davve@dtek.chalmers.se>
Tue, 2 Oct 2007 14:34:59 +0000 (14:34 +0000)
committerDavid Waern <davve@dtek.chalmers.se>
Tue, 2 Oct 2007 14:34:59 +0000 (14:34 +0000)

No differences found