Fix a typo in matrixops example

diff --git a/examples/matrixops.dyna b/examples/matrixops.dyna
index 62dbc0163971e2c94c94630a30ef417d55634869..10a4186d25a3d5eaabf85c52179b9d6e932ada62 100644 (file)
--- a/examples/matrixops.dyna
+++ b/examples/matrixops.dyna
@@ -10,8 +10,8 @@ m(P, I, J) += shape(A,R,C), % pair(R, C) is shape(A),
 %shape(A) += &pair(rows(A), cols(A)).
 
 shape(X, rows(X), cols(X)).
-rows(X) max= m(X, R, _), R.
-cols(X) max= m(X, _, C), C.
+rows(X) max= _ is m(X, R, _), R.
+cols(X) max= _ is m(X, _, C), C.
 
 % define some matrices
 :-dispos m(&,*,*).