tree 4c5d012cf7a7fc0744756f3bd947684a817e9408
parent 45238f589955aa7b9c441ab15ff0283c0488338a
author Stephan Herrmann <stephan@cs.tu-berlin.de> 1313100336 +0000
committer Stephan Herrmann <stephan@cs.tu-berlin.de> 1313100336 +0000

One more location needing a test for isBaseType() (test & fix).