From fe82344a0d511bb541871774bb6c5ea6875f8570 Mon Sep 17 00:00:00 2001
From: Andreas Naumann <andreas.naumann@tu-dresden.de>
Date: Wed, 4 Nov 2009 09:20:00 +0000
Subject: [PATCH] OperatorReader deleted in generator

-- 
GitLab