tree a34596785220eb5fdb127ef75dcf924066c37957
parent 4679357dc12875eb10ef14877207f2d0515f21e4
author Joachim Bingel <joa.bingel@gmail.com> 1396613386 +0000
committer Joachim Bingel <joa.bingel@gmail.com> 1396613386 +0000

bugfix (quantification in position)