update for GHC.HetMet package renaming

[coq-hetmet.git] / examples / DotProduct.hs

diff --git a/examples/DotProduct.hs b/examples/DotProduct.hs
index 6de0c01..4b36019 100644 (file)
--- a/examples/DotProduct.hs
+++ b/examples/DotProduct.hs
@@ -1,7 +1,7 @@
 {-# OPTIONS_GHC -XModalTypes -ddump-types -XNoMonoPatBinds -XFlexibleContexts #-}
 module DotProduct
 where
-import GHC.HetMet.CodeTypes hiding ((-))
+import GHC.HetMet.GuestLanguage hiding ((-))
 import Prelude hiding ( id, (.) )
 
 --------------------------------------------------------------------------------