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

diff --git a/ghc/compiler/coreSyn/CoreUnfold.hi-boot b/ghc/compiler/coreSyn/CoreUnfold.hi-boot
index e670f2d..86ee1da 100644
--- a/ghc/compiler/coreSyn/CoreUnfold.hi-boot
+++ b/ghc/compiler/coreSyn/CoreUnfold.hi-boot
@@ -1,10 +1,11 @@
 _interface_ CoreUnfold 1
 _exports_
-CoreUnfold Unfolding UnfoldingGuidance mkUnfolding noUnfolding hasUnfolding isEvaldUnfolding;
+CoreUnfold Unfolding UnfoldingGuidance mkUnfolding noUnfolding hasUnfolding isEvaldUnfolding seqUnfolding ;
 _declarations_
 1 data Unfolding;
 1 data UnfoldingGuidance;
 1 mkUnfolding _:_ CoreSyn.CoreExpr -> Unfolding ;;
 1 noUnfolding _:_ Unfolding ;;
 1 hasUnfolding _:_ Unfolding -> PrelBase.Bool ;;
+1 seqUnfolding _:_ Unfolding -> PrelBase.() ;;
 1 isEvaldUnfolding _:_ Unfolding -> PrelBase.Bool ;;