X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FDotProduct.hs;h=4b36019faa2b40a7bd8fb7e8ced2af05d15fee4f;hp=6de0c01fd5bca597692cddcdc6d9a5b9531b0d79;hb=83ea5d8ef61c6a711a411a198f61f2a359ce0cba;hpb=3a2879d925d4e13e9c89bc768df111684d2b4a59

diff --git a/examples/DotProduct.hs b/examples/DotProduct.hs
index 6de0c01..4b36019 100644
--- 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, (.) )
 
 --------------------------------------------------------------------------------