From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Fri, 9 Nov 2012 16:04:35 +0000 (-0500)
Subject: Fix build: remove stale constraint
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=7f92ba4d1b02fffe2b348e5234902036ab05d080;p=dyna2

Fix build: remove stale constraint
---

diff --git a/src/Dyna/Analysis/NormalizeParseSelftest.hs b/src/Dyna/Analysis/NormalizeParseSelftest.hs
index ed28c3d..616115a 100644
--- a/src/Dyna/Analysis/NormalizeParseSelftest.hs
+++ b/src/Dyna/Analysis/NormalizeParseSelftest.hs
@@ -12,8 +12,8 @@ import qualified Dyna.ParserHS.Parser         as P
 import           Dyna.Term.TTerm
 import           Dyna.XXX.TrifectaTest
 
-testNormTerm :: Monad m => B.ByteString -> (DTerm, ANFState)
+testNormTerm :: B.ByteString -> (DTerm, ANFState)
 testNormTerm = runNormalize . normTerm False . unsafeParse P.dterm
 
-testNormRule :: Monad m => B.ByteString -> (DRule, ANFState)
+testNormRule :: B.ByteString -> (DRule, ANFState)
 testNormRule = runNormalize . normRule . unsafeParse P.drule