From 1d212cc9d38d71acc2498bceadf983f4f352069b Mon Sep 17 00:00:00 2001
From: Andreas Naumann <andreas.naumann@tu-dresden.de>
Date: Fri, 30 Oct 2009 08:52:14 +0000
Subject: [PATCH] restructured to use only one OperatorTree-description

-- 
GitLab