X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FcoreSyn%2FCoreUnfold.hi-boot-5;fp=ghc%2Fcompiler%2FcoreSyn%2FCoreUnfold.hi-boot-5;h=32c1673d6590cc636bcfbf1fe0c239104377f72f;hb=4e7d56fde0f44d38bbb9a6fc72cf9c603264899d;hp=d86aa996ca5436d8f59232faef1427a63dffcaa2;hpb=0b127ebe6beecf69e0e429b722c645d73d4755df;p=ghc-hetmet.git

diff --git a/ghc/compiler/coreSyn/CoreUnfold.hi-boot-5 b/ghc/compiler/coreSyn/CoreUnfold.hi-boot-5
index d86aa99..32c1673 100644
--- a/ghc/compiler/coreSyn/CoreUnfold.hi-boot-5
+++ b/ghc/compiler/coreSyn/CoreUnfold.hi-boot-5
@@ -1,8 +1,9 @@
 __interface CoreUnfold 1 0 where
-__export CoreUnfold Unfolding UnfoldingGuidance mkUnfolding noUnfolding hasUnfolding isEvaldUnfolding;
+__export CoreUnfold Unfolding UnfoldingGuidance mkUnfolding noUnfolding hasUnfolding isEvaldUnfolding seqUnfolding ;
 1 data Unfolding;
 1 data UnfoldingGuidance;
 1 mkUnfolding :: CoreSyn.CoreExpr -> Unfolding ;
 1 noUnfolding :: Unfolding ;
 1 hasUnfolding :: Unfolding -> PrelBase.Bool ;
+1 seqUnfolding :: Unfolding -> PrelBase.Z0T ;
 1 isEvaldUnfolding :: Unfolding -> PrelBase.Bool ;