From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Thu, 13 Dec 2012 03:07:12 +0000 (-0500)
Subject: Let's try that again.
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=5945449c32cfe1cf5c5116f34bf60a6d2973ef9e;p=dyna2

Let's try that again.
---

diff --git a/src/Dyna/Analysis/RuleMode.hs b/src/Dyna/Analysis/RuleMode.hs
index 399bbde..d50f6b1 100644
--- a/src/Dyna/Analysis/RuleMode.hs
+++ b/src/Dyna/Analysis/RuleMode.hs
@@ -254,10 +254,10 @@ possible cr = case cr of
 
   -- XXX this really ought to be done some other way
   inv :: DFunct -> [ModedVar] -> ModedVar -> [Action]
-  inv "+" is [(MB x), (MF y)] (MB o)
+  inv "+" [(MB x), (MF y)] (MB o)
                   = [[ OPCall y [o,x] "-" ]]
 
-  inv "+" is [(MF x), (MB y)] (MB o)
+  inv "+" [(MF x), (MB y)] (MB o)
                   = [[ OPCall x [o,y] "-" ]]
 
   inv "-" [(MB x),(MF y)] (MB o)