diff options
author | Erich Eckner <git@eckner.net> | 2019-09-26 15:11:49 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-09-26 15:11:49 +0200 |
commit | 65985a7e2d782fe4f12d79e66b17f0b109472a72 (patch) | |
tree | d24cb94904ff9b60d3a01534dc117fdfbbec6e42 /werteunit.inc | |
parent | 0ce938bbbfc3c4054ece3d7eb9179f978cd57cb3 (diff) | |
download | epost-65985a7e2d782fe4f12d79e66b17f0b109472a72.tar.xz |
werteunit.inc: neuen Chef ignorieren, wenn er schon da ist
Diffstat (limited to 'werteunit.inc')
-rw-r--r-- | werteunit.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/werteunit.inc b/werteunit.inc index 754cc46..4ee71ce 100644 --- a/werteunit.inc +++ b/werteunit.inc @@ -29,7 +29,7 @@ var i,j: longint; begin inherited create; - params.knownValues.neuerChef(original^.params.knownValues); + params.knownValues.neuerChef(original^.params.knownValues,true); tMax:=min(tMax,original^.params.tSiz-1); tMin:=max(tMin,0); params.tSiz:=tMax+1-tMin; |