diff --git a/CHANGELOG b/CHANGELOG
index 0fdc0d1..dd07bfb 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,6 @@
+2025-03-20
+        * Expose Copilot.Compile.Bluespec.External. (#36)
+
 2025-03-10
         * Version bump (4.3). (#34)
 
diff --git a/copilot-bluespec.cabal b/copilot-bluespec.cabal
index 32ce9b5..0a172e3 100644
--- a/copilot-bluespec.cabal
+++ b/copilot-bluespec.cabal
@@ -36,7 +36,7 @@ source-repository head
 
 library
   default-language        : Haskell2010
-  hs-source-dirs          : src, shared
+  hs-source-dirs          : src
 
   ghc-options             : -Wall
   build-depends           : base              >= 4.9    && < 5
@@ -48,12 +48,12 @@ library
                           , language-bluespec >= 0.1    && < 0.2
 
   exposed-modules         : Copilot.Compile.Bluespec
+                          , Copilot.Compile.Bluespec.External
 
   other-modules           : Copilot.Compile.Bluespec.CodeGen
                           , Copilot.Compile.Bluespec.Compile
                           , Copilot.Compile.Bluespec.Error
                           , Copilot.Compile.Bluespec.Expr
-                          , Copilot.Compile.Bluespec.External
                           , Copilot.Compile.Bluespec.FloatingPoint
                           , Copilot.Compile.Bluespec.Name
                           , Copilot.Compile.Bluespec.Representation
@@ -70,8 +70,6 @@ test-suite tests
   other-modules:
    Test.Copilot.Compile.Bluespec
 
-   Copilot.Compile.Bluespec.External
-
   build-depends:
       base
     , directory
@@ -91,7 +89,7 @@ test-suite tests
     , copilot-bluespec
 
   hs-source-dirs:
-    tests, shared
+    tests
 
   default-language:
     Haskell2010
diff --git a/shared/Copilot/Compile/Bluespec/External.hs b/src/Copilot/Compile/Bluespec/External.hs
similarity index 96%
rename from shared/Copilot/Compile/Bluespec/External.hs
rename to src/Copilot/Compile/Bluespec/External.hs
index 12bc404..6d42105 100644
--- a/shared/Copilot/Compile/Bluespec/External.hs
+++ b/src/Copilot/Compile/Bluespec/External.hs
@@ -22,7 +22,7 @@ data External = forall a. External
 -- | Collect all external variables from the streams and triggers.
 --
 -- Although Copilot specifications can contain also properties and theorems,
--- the C99 backend currently only generates code for streams and triggers.
+-- the Bluespec backend currently only generates code for streams and triggers.
 gatherExts :: [Stream] -> [Trigger] -> [External]
 gatherExts streams triggers = streamsExts `extUnion` triggersExts
   where