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

[ghc-hetmet.git] / libraries / base

diff --git a/libraries/base b/libraries/base
index f643d95..e1f4f45 160000 (submodule)
--- a/libraries/base
+++ b/libraries/base
@@ -1 +1 @@
-Subproject commit f643d954e30d5ac635d3c0ff41ad40401fbd5e92
+Subproject commit e1f4f4560778857133cd778b5bc66c1074add312