From a76531aabce63c79eb7f7aff80912804ce95056f Mon Sep 17 00:00:00 2001
From: Norbert Klawikowski <norbert.klawikowski@tu-dresden.de>
Date: Tue, 9 Mar 2010 12:32:04 +0000
Subject: [PATCH] Updated weakEval in operator generation and desciption

-- 
GitLab