From 5945449c32cfe1cf5c5116f34bf60a6d2973ef9e Mon Sep 17 00:00:00 2001
From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Wed, 12 Dec 2012 22:07:12 -0500
Subject: [PATCH] Let's try that again.

---
 src/Dyna/Analysis/RuleMode.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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)
-- 
2.50.1