tree b927ba9a46f4aa9ad13393d9f18e57e39ce131e0
parent 2bb0b7f459f5598ff85af2a124d6ca69da4f4ec1
author Joachim Bingel <joa.bingel@gmail.com> 1406123194 +0000
committer Joachim Bingel <joa.bingel@gmail.com> 1406123194 +0000

removed EOF operator to allow embedding in parentheses