From d31b4e1c9c0bf802f236dd42a80ec5b8691f5b11 Mon Sep 17 00:00:00 2001 From: Andreas Naumann <andreas.naumann@tu-dresden.de> Date: Thu, 29 Oct 2009 09:33:09 +0000 Subject: [PATCH] TreeWriter introduced, counting test with numbers in const deleted -- GitLab