From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Mon, 3 Jun 2013 02:52:19 +0000 (-0400)
Subject: Fix a typo in matrixops example
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=b9bd3a9387358ea84d9132a59153e72caac99221;p=dyna2

Fix a typo in matrixops example
---

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(&,*,*).