Rename pseudocode file.

This is anticipating the addition of pseudocode as a data type. That
should make the denotational semantics much more performant, and allows
the addition of new forms of semantics without duplicating effort.

3 files changed, 3 insertions, 3 deletions

diff --git a/Everything.agda b/Everything.agda
index f47f3b7..fe9deea 100644
--- a/Everything.agda
+++ b/Everything.agda
@@ -49,7 +49,7 @@ import Helium.Algebra.Ordered.StrictTotal.Structures
 import Helium.Algebra.Structures
 
 -- Definition of types and operations used by the Armv8-M pseudocode.
-import Helium.Data.Pseudocode
+import Helium.Data.Pseudocode.Types
 
 -- Definitions of a subset of Armv8-M instructions.
 import Helium.Instructions
diff --git a/src/Helium/Data/Pseudocode.agda b/src/Helium/Data/Pseudocode/Types.agda
index d75ddba..a545ddc 100644
--- a/src/Helium/Data/Pseudocode.agda
+++ b/src/Helium/Data/Pseudocode/Types.agda
@@ -6,7 +6,7 @@
 
 {-# OPTIONS --safe --without-K #-}
 
-module Helium.Data.Pseudocode where
+module Helium.Data.Pseudocode.Types where
 
 open import Algebra.Core
 import Algebra.Definitions.RawSemiring as RS
diff --git a/src/Helium/Semantics/Denotational.agda b/src/Helium/Semantics/Denotational.agda
index 046fff8..8e521ea 100644
--- a/src/Helium/Semantics/Denotational.agda
+++ b/src/Helium/Semantics/Denotational.agda
@@ -6,7 +6,7 @@
 
 {-# OPTIONS --safe --without-K #-}
 
-open import Helium.Data.Pseudocode
+open import Helium.Data.Pseudocode.Types
 
 module Helium.Semantics.Denotational
   {b₁ b₂ i₁ i₂ i₃ r₁ r₂ r₃}