From b9bd3a9387358ea84d9132a59153e72caac99221 Mon Sep 17 00:00:00 2001
From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Sun, 2 Jun 2013 22:52:19 -0400
Subject: [PATCH] Fix a typo in matrixops example

---
 examples/matrixops.dyna | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/examples/matrixops.dyna b/examples/matrixops.dyna
index 62dbc01..10a4186 100644
--- 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(&,*,*).
-- 
2.50.1