From: Ian Jackson Date: Sat, 2 Jan 2021 02:10:40 +0000 (+0000) Subject: it updated a piece! X-Git-Tag: otter-0.2.0~57 X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=4f57385df48e11c0c771e023d0588a43262136ea;p=otter.git it updated a piece! Signed-off-by: Ian Jackson --- diff --git a/wdriver.rs b/wdriver.rs index 9de2a967..b03799da 100644 --- a/wdriver.rs +++ b/wdriver.rs @@ -808,7 +808,7 @@ impl<'g> PieceElement<'g> { let adj = |v| (if v == 4 { 3 } else { v }) - 1; let i = adj(mij / 10); let j = adj(mij % 10); - mat[(i,j)] = v.as_f64().ok_or_else(|| anyhow!("entry not f64"))?; + mat[(j,i)] = v.as_f64().ok_or_else(|| anyhow!("entry not f64"))?; } Ok::<_,AE>(mat) })()