thread wired-in names of GHC.HetMet.Private.* through to Coq code

[ghc-hetmet.git] / compiler / hetmet

diff --git a/compiler/hetmet b/compiler/hetmet
index b18f84a..cb42497 160000 (submodule)
--- a/compiler/hetmet
+++ b/compiler/hetmet
@@ -1 +1 @@
-Subproject commit b18f84ae40af08b3df0214593f4e4eb0665cdf7d
+Subproject commit cb424978e057bc2b4868517302738d52246fba04