X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FCircuitExample.hs;fp=examples%2FCircuitExample.hs;h=b8ca60bbd891c412dd40bd2986b55c6c5dd9b0f2;hp=f4f51510fd41ae254c8d31dd73952ed15176963b;hb=83ea5d8ef61c6a711a411a198f61f2a359ce0cba;hpb=3a2879d925d4e13e9c89bc768df111684d2b4a59

diff --git a/examples/CircuitExample.hs b/examples/CircuitExample.hs
index f4f5151..b8ca60b 100644
--- a/examples/CircuitExample.hs
+++ b/examples/CircuitExample.hs
@@ -1,8 +1,8 @@
 {-# OPTIONS_GHC -XModalTypes -ddump-types -XNoMonoPatBinds -XMultiParamTypeClasses -XTypeOperators #-}
 module CircuitExample
 where
-import GHC.HetMet.CodeTypes hiding ((-))
 import GHC.HetMet.GArrow
+import GHC.HetMet.GuestLanguage hiding ((-))
 import Control.Category
 import Prelude hiding ( id, (.) )